Skip to content

Actions: CakeML/pure

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #524: Scheduled
34m 52s master
master
34m 52s
CI CI #523: Scheduled
35m 2s master
master
35m 2s
CI CI #522: Scheduled
43m 46s master
master
43m 46s
CI CI #521: Scheduled
34m 40s master
master
34m 40s
CI CI #520: Scheduled
36m 33s master
master
36m 33s
CI CI #519: Scheduled
36m 38s master
master
36m 38s
CI CI #518: Scheduled
37m 47s master
master
37m 47s
CI CI #517: Scheduled
37m 38s master
master
37m 38s
CI CI #516: Scheduled
37m 20s master
master
37m 20s
CI CI #515: Scheduled
37m 19s master
master
37m 19s
Thunk force delay CI #514: Pull request #80 opened by artisanbk
2h 55m 48s thunk-force
thunk-force
2h 55m 48s
CI CI #513: Scheduled
2h 55m 14s master
master
2h 55m 14s
CI CI #512: Scheduled
2h 53m 36s master
master
2h 53m 36s
CI CI #511: Scheduled
2h 54m 32s master
master
2h 54m 32s
CI CI #510: Scheduled
2h 54m 52s master
master
2h 54m 52s
CI CI #509: Scheduled
2h 55m 33s master
master
2h 55m 33s
CI CI #508: Scheduled
2h 55m 21s master
master
2h 55m 21s
CI CI #507: Scheduled
2h 57m 50s master
master
2h 57m 50s
CI CI #506: Scheduled
2h 55m 34s master
master
2h 55m 34s
CI CI #505: Scheduled
2h 27m 7s master
master
2h 27m 7s
Merge pull request #79 from CakeML/bye-triviality CI #504: Commit 1851010 pushed by myreen
2h 57m 49s master
master
2h 57m 49s
Replace Triviality by local Theorem CI #503: Pull request #79 opened by dnezam
2h 57m 57s bye-triviality
bye-triviality
2h 57m 57s
CI CI #502: Scheduled
3h 0m 39s master
master
3h 0m 39s
CI CI #501: Scheduled
3h 4m 36s master
master
3h 4m 36s
CI CI #500: Scheduled
3h 17m 24s master
master
3h 17m 24s