Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
935 workflow runs
935 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Output calls to set_abstract_... in model_init() (#1436) Build matrix #1588: Commit baaff35 pushed by Alasdair
September 5, 2025 15:51 7m 41s sail2
sail2
September 5, 2025 15:51 7m 41s
Prove a theorem aboute update_lexp_subexps Build matrix #1587: Commit e8857dd pushed by Alasdair
September 4, 2025 18:55 10m 53s rocq_extract
rocq_extract
September 4, 2025 18:55 10m 53s
Remove all L-expression rewrites before interpreter Build matrix #1586: Commit 0d50850 pushed by Alasdair
September 4, 2025 14:14 8m 1s rocq_extract
rocq_extract
September 4, 2025 14:14 8m 1s
Rename some files Build matrix #1585: Commit 52813d9 pushed by Alasdair
September 2, 2025 20:39 10m 9s rocq_extract
rocq_extract
September 2, 2025 20:39 10m 9s
Remove OCaml interpreter monad and just use Rocq one Build matrix #1584: Commit b330558 pushed by Alasdair
September 2, 2025 17:44 14m 13s rocq_extract
rocq_extract
September 2, 2025 17:44 14m 13s
Make sure coverage CI job runs on correct branch Build matrix #1583: Commit 3ae641e pushed by Alasdair
September 2, 2025 16:18 12m 50s sail2
sail2
September 2, 2025 16:18 12m 50s
Make sure coverage CI job runs on correct branch Build matrix #1582: Commit 931cec9 pushed by Alasdair
September 2, 2025 13:17 52m 40s cov_branch_ci
cov_branch_ci
September 2, 2025 13:17 52m 40s
Make sure coverage CI job runs on correct branch Build matrix #1581: Commit a341969 pushed by Alasdair
September 2, 2025 13:14 8m 13s cov_branch_ci
cov_branch_ci
September 2, 2025 13:14 8m 13s
More refactoring Build matrix #1580: Commit bfd582e pushed by Alasdair
September 2, 2025 12:23 10m 16s rocq_extract
rocq_extract
September 2, 2025 12:23 10m 16s
More refactoring Build matrix #1579: Commit 6f9fb5e pushed by Alasdair
September 1, 2025 19:33 10m 17s rocq_extract
rocq_extract
September 1, 2025 19:33 10m 17s
Clean up some proofs and definitions Build matrix #1578: Commit 22db40b pushed by Alasdair
September 1, 2025 12:26 10m 12s rocq_extract
rocq_extract
September 1, 2025 12:26 10m 12s
Fix OCaml test suite Build matrix #1577: Commit e9f67d3 pushed by Alasdair
August 31, 2025 15:16 8m 6s sail2
sail2
August 31, 2025 15:16 8m 6s
Fix OCaml test suite Build matrix #1576: Commit 21f4290 pushed by Alasdair
August 31, 2025 14:40 7m 40s ocaml_ci_fix
ocaml_ci_fix
August 31, 2025 14:40 7m 40s
Avoid code coverage issues for extracted files Build matrix #1575: Commit ea76750 pushed by Alasdair
August 31, 2025 14:33 7m 52s rocq_extract
rocq_extract
August 31, 2025 14:33 7m 52s
Adjust interpreter usage in constant propagation Build matrix #1574: Commit 9e335ff pushed by Alasdair
August 31, 2025 13:06 9m 48s rocq_extract
rocq_extract
August 31, 2025 13:06 9m 48s
Fix constant folding issues Build matrix #1573: Commit c78199b pushed by Alasdair
August 30, 2025 12:38 7m 41s rocq_extract
rocq_extract
August 30, 2025 12:38 7m 41s
Add extracted code to ocamlformat-ignore Build matrix #1572: Commit 5786859 pushed by Alasdair
August 30, 2025 00:03 9m 34s rocq_extract
rocq_extract
August 30, 2025 00:03 9m 34s
Include extracted code for easier build Build matrix #1571: Commit 61df8b9 pushed by Alasdair
August 29, 2025 23:53 7m 30s rocq_extract
rocq_extract
August 29, 2025 23:53 7m 30s
Implement subrange patterns and short-circuiting Build matrix #1570: Commit 2d3886b pushed by Alasdair
August 29, 2025 21:09 5m 17s rocq_extract
rocq_extract
August 29, 2025 21:09 5m 17s
Resolve all admits Build matrix #1569: Commit 20dbb88 pushed by Alasdair
August 29, 2025 02:01 5m 24s rocq_extract
rocq_extract
August 29, 2025 02:01 5m 24s
Resolve all admits Build matrix #1568: Commit 1f18d7b pushed by Alasdair
August 29, 2025 01:51 5m 12s rocq_extract
rocq_extract
August 29, 2025 01:51 5m 12s
Handle complex L-expressions in Rocq semantics Build matrix #1567: Commit 7ec7bd3 pushed by Alasdair
August 28, 2025 00:35 5m 3s rocq_extract
rocq_extract
August 28, 2025 00:35 5m 3s
Fix rule for pattern guards in Rocq semantics Build matrix #1566: Commit 22ec38d pushed by Alasdair
August 27, 2025 19:02 5m 28s rocq_extract
rocq_extract
August 27, 2025 19:02 5m 28s
Almost fully prove termination of step function in Coq Build matrix #1565: Commit 3941ade pushed by Alasdair
August 26, 2025 20:41 5m 0s rocq_extract
rocq_extract
August 26, 2025 20:41 5m 0s
Add support for structures and vector concat patterns in Rocq semantics Build matrix #1564: Commit c090fcf pushed by Alasdair
August 26, 2025 16:54 5m 31s rocq_extract
rocq_extract
August 26, 2025 16:54 5m 31s