Skip to content

Actions: CakeML/pure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #414: Scheduled
September 20, 2024 01:23 5h 7m 8s master
master
September 20, 2024 01:23 5h 7m 8s
CI CI #413: Scheduled
September 13, 2024 01:21 5h 29m 59s master
master
September 13, 2024 01:21 5h 29m 59s
Publish PureCake Docker image Publish PureCake Docker image #15: Manually run by hrutvik
September 10, 2024 14:21 2h 31m 21s master
master
September 10, 2024 14:21 2h 31m 21s
CI CI #412: Manually run by hrutvik
September 10, 2024 08:24 5h 29m 57s master
master
September 10, 2024 08:24 5h 29m 57s
Fix pure_eval_surj after change in HOL CI #411: Commit f52bc18 pushed by hrutvik
September 9, 2024 22:32 5h 21m 56s master
master
September 9, 2024 22:32 5h 21m 56s
Publish PureCake Docker image Publish PureCake Docker image #14: Manually run by hrutvik
September 9, 2024 19:36 1h 33m 42s master
master
September 9, 2024 19:36 1h 33m 42s
CI CI #410: Manually run by hrutvik
September 9, 2024 19:36 56m 27s master
master
September 9, 2024 19:36 56m 27s
A couple of minor fixes CI #409: Commit 4087218 pushed by hrutvik
September 8, 2024 22:24 5h 28m 14s master
master
September 8, 2024 22:24 5h 28m 14s
CI CI #408: Scheduled
September 6, 2024 01:20 5h 3m 21s master
master
September 6, 2024 01:20 5h 3m 21s
CI CI #407: Scheduled
August 30, 2024 01:20 5h 28m 51s master
master
August 30, 2024 01:20 5h 28m 51s
CI CI #406: Scheduled
August 23, 2024 01:17 5h 56m 26s master
master
August 23, 2024 01:17 5h 56m 26s
CI CI #405: Scheduled
August 16, 2024 01:16 5h 23m 30s master
master
August 16, 2024 01:16 5h 23m 30s
CI CI #404: Manually run by hrutvik
August 12, 2024 15:40 5h 58m 39s update-ci
update-ci
August 12, 2024 15:40 5h 58m 39s
CI CI #403: Manually run by hrutvik
August 9, 2024 22:17 5h 38m 0s update-ci
update-ci
August 9, 2024 22:17 5h 38m 0s
CI CI #402: Manually run by hrutvik
August 9, 2024 09:17 5h 8m 49s update-ci
update-ci
August 9, 2024 09:17 5h 8m 49s
CI CI #401: Manually run by hrutvik
August 9, 2024 09:15 1s update-ci
update-ci
August 9, 2024 09:15 1s
CI CI #400: Scheduled
August 9, 2024 01:17 5h 23m 24s master
master
August 9, 2024 01:17 5h 23m 24s
CI CI #399: Manually run by hrutvik
August 8, 2024 18:24 5h 20m 19s update-ci
update-ci
August 8, 2024 18:24 5h 20m 19s
Avoid using allow_rebinds CI #398: Commit 70c9fa9 pushed by myreen
August 8, 2024 12:19 11h 24m 43s master
master
August 8, 2024 12:19 11h 24m 43s
Compile to arm8 CI #397: Commit d6f4ab1 pushed by myreen
August 8, 2024 10:01 13h 42m 37s master
master
August 8, 2024 10:01 13h 42m 37s
Update for new way of doing in-logic compilation CI #396: Commit 9bf0053 pushed by myreen
August 8, 2024 07:43 16h 0m 3s master
master
August 8, 2024 07:43 16h 0m 3s
Fix end-to-end proof CI #395: Commit 7208aa9 pushed by hrutvik
August 7, 2024 10:28 7h 24m 24s master
master
August 7, 2024 10:28 7h 24m 24s
CI CI #394: Manually run by hrutvik
August 7, 2024 10:01 6m 34s discord-notify
discord-notify
August 7, 2024 10:01 6m 34s
CI CI #393: Manually run by hrutvik
August 6, 2024 21:24 3h 50m 13s master
master
August 6, 2024 21:24 3h 50m 13s
CI CI #392: Manually run by hrutvik
August 6, 2024 17:36 3h 34m 34s master
master
August 6, 2024 17:36 3h 34m 34s