Skip to content

Actions: CakeML/pure

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pure.yml
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #78 from CakeML/cake-thunks CI #499: Commit ad34b0c pushed by myreen
3h 16m 46s master
master
3h 16m 46s
Cake thunks CI #498: Pull request #78 opened by nikos-alexandris
3h 17m 13s cake-thunks
cake-thunks
3h 17m 13s
CI CI #497: Scheduled
51m 14s master
master
51m 14s
CI CI #496: Scheduled
51m 13s master
master
51m 13s
CI CI #495: Scheduled
3h 30m 53s master
master
3h 30m 53s
Merge pull request #77 from CakeML/fix-ci-1 CI #494: Commit 34aa5a9 pushed by dnezam
3h 30m 26s master
master
3h 30m 26s
Fix language/pure_valueScript.sml CI #493: Pull request #77 opened by dnezam
3h 32m 21s fix-ci-1
fix-ci-1
3h 32m 21s
CI CI #492: Scheduled
27m 57s master
master
27m 57s
Use Theory syntax CI #491: Commit a395c9c pushed by dnezam
28m 3s master
master
28m 3s
CI CI #490: Scheduled
3h 36m 50s master
master
3h 36m 50s
CI CI #489: Scheduled
3h 37m 25s master
master
3h 37m 25s
Fix compiler/backend/passes/proofs for HOL changes CI #488: Commit 0a3f866 pushed by hrutvik
3h 37m 17s master
master
3h 37m 17s
Fix typeclass/typing for HOL changes CI #487: Commit 1e67573 pushed by hrutvik
52m 29s master
master
52m 29s
CI CI #486: Scheduled
51m 4s master
master
51m 4s
CI CI #485: Scheduled
45m 40s master
master
45m 40s
Update for changes in CakeML CI #484: Commit 227f023 pushed by hrutvik
3h 43m 0s master
master
3h 43m 0s
More fixes for changes in HOL CI #483: Commit c24db64 pushed by hrutvik
52m 2s master
master
52m 2s