Skip to content

Actions: CakeML/pure

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pure.yml
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix for adjusted Inductive syntax in HOL CI #351: Commit 4cea39b pushed by myreen
November 8, 2023 23:10 1h 27m 32s master
master
November 8, 2023 23:10 1h 27m 32s
CI CI #350: Manually run by hrutvik
October 19, 2023 14:46 7h 19m 40s master
master
October 19, 2023 14:46 7h 19m 40s
Merge pull request #71 from CakeML/rebind CI #349: Commit ad9e392 pushed by myreen
October 18, 2023 11:53 13h 21m 54s master
master
October 18, 2023 11:53 13h 21m 54s
Fixes to align with recent HOL's change to rebinds CI #348: Pull request #71 synchronize by hrutvik
October 18, 2023 10:35 7h 19m 11s rebind
rebind
October 18, 2023 10:35 7h 19m 11s
Fixes to align with recent HOL's change to rebinds CI #347: Pull request #71 synchronize by myreen
October 17, 2023 12:35 8h 0m 15s rebind
rebind
October 17, 2023 12:35 8h 0m 15s
Fixes to align with recent HOL's change to rebinds CI #346: Pull request #71 synchronize by myreen
October 17, 2023 10:23 1h 23m 55s rebind
rebind
October 17, 2023 10:23 1h 23m 55s
Fixes to align with recent HOL's change to rebinds CI #345: Pull request #71 opened by myreen
October 17, 2023 08:59 1h 10m 7s rebind
rebind
October 17, 2023 08:59 1h 10m 7s
Delete no_shadowing (replace with barendregt) CI #344: Commit 44c0872 pushed by myreen
October 13, 2023 17:13 1d 19h 16m 54s master
master
October 13, 2023 17:13 1d 19h 16m 54s
Add inlining to benchmarking config CI #343: Commit 4502172 pushed by hrutvik
October 12, 2023 09:17 27m 39s master
master
October 12, 2023 09:17 27m 39s
Merge pull request #69 from CakeML/lets_ok CI #342: Commit 32890fe pushed by hrutvik
October 11, 2023 21:42 25m 50s master
master
October 11, 2023 21:42 25m 50s
Tidy up lets_ok (formerly binds_ok) CI #341: Pull request #69 synchronize by myreen
October 11, 2023 20:50 23m 24s lets_ok
lets_ok
October 11, 2023 20:50 23m 24s
Merge pull request #68 from CakeML/cleanup-inliner CI #340: Commit 24cc298 pushed by hrutvik
October 11, 2023 15:23 43m 43s master
master
October 11, 2023 15:23 43m 43s
Tidy up lets_ok (formerly binds_ok) CI #339: Pull request #69 opened by myreen
October 11, 2023 15:18 25m 1s lets_ok
lets_ok
October 11, 2023 15:18 25m 1s
Merge pull request #67 from CakeML/simpler-inline CI #338: Commit 2942cb1 pushed by myreen
October 11, 2023 07:59 7h 20m 6s master
master
October 11, 2023 07:59 7h 20m 6s
Simplify the inliner proofs CI #337: Pull request #67 opened by myreen
October 10, 2023 14:02 7h 21m 20s simpler-inline
simpler-inline
October 10, 2023 14:02 7h 21m 20s
Remove some test code CI #336: Commit 5f90f8b pushed by hrutvik
October 10, 2023 13:44 18m 53s master
master
October 10, 2023 13:44 18m 53s
Fix a breakage CI #335: Commit 397d3ba pushed by hrutvik
October 9, 2023 19:54 7h 16m 10s master
master
October 9, 2023 19:54 7h 16m 10s
Pass in numbers on command line CI #334: Commit b2b8d66 pushed by hrutvik
October 9, 2023 13:32 2h 10m 16s master
master
October 9, 2023 13:32 2h 10m 16s
Merge pull request #66 from CakeML/clean-up-moves CI #333: Commit d8adb25 pushed by hrutvik
October 8, 2023 08:05 7h 8m 47s master
master
October 8, 2023 08:05 7h 8m 47s
Clean up moves CI #332: Pull request #66 synchronize by myreen
October 7, 2023 16:08 7h 12m 30s clean-up-moves
clean-up-moves
October 7, 2023 16:08 7h 12m 30s
Clean up moves CI #331: Pull request #66 opened by myreen
October 5, 2023 20:24 59m 37s clean-up-moves
clean-up-moves
October 5, 2023 20:24 59m 37s
Merge branch 'inlining' CI #330: Commit f9b1a0a pushed by hrutvik
October 4, 2023 09:30 7h 22m 3s master
master
October 4, 2023 09:30 7h 22m 3s
CI CI #329: Manually run by hrutvik
September 13, 2023 23:40 1h 12m 41s inlining
inlining
September 13, 2023 23:40 1h 12m 41s
Merge pull request #57 from CakeML/remove-box CI #328: Commit 9989aba pushed by myreen
September 8, 2023 21:37 6h 41m 5s master
master
September 8, 2023 21:37 6h 41m 5s
Remove box in ThunkLang CI #327: Pull request #57 opened by samsa1
September 8, 2023 13:24 6h 39m 38s remove-box
remove-box
September 8, 2023 13:24 6h 39m 38s