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

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
CI CI #482: Scheduled
40m 18s master
master
40m 18s
CI CI #481: Scheduled
47m 5s master
master
47m 5s
CI CI #480: Scheduled
40m 9s master
master
40m 9s
CI CI #479: Scheduled
55m 18s master
master
55m 18s
Fixes for SNOC_APPEND CI #478: Commit 69b1ef7 pushed by myreen
54m 45s master
master
54m 45s
Fix for change in HOL CI #477: Commit 8cd344e pushed by myreen
13h 32m 43s master
master
13h 32m 43s
CI CI #476: Scheduled
1d 0h 0m 18s master
master
1d 0h 0m 18s
CI CI #475: Scheduled
42m 11s master
master
42m 11s