Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
439 workflow run results
439 workflow run results

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Output calls to set_abstract_... in model_init() (#1436) Build matrix #1588: Commit baaff35 pushed by Alasdair
7m 41s sail2
sail2
7m 41s
Output calls to set_abstract_... in model_init() (#1436) Check formatting #3285: Commit baaff35 pushed by Alasdair
46s sail2
sail2
46s
Upload test coverage Upload test coverage #685: completed by Timmmm
42s
42s
Publish test results Publish test results #2807: completed by Timmmm
26s
26s
Output calls to set_abstract_... in model_init() Check formatting #3284: Pull request #1436 synchronize by Timmmm
1m 18s Timmmm:user/timh/set_abstract
Timmmm:user/timh/set_abstract
1m 18s
Output calls to set_abstract_... in model_init() Test matrix #689: Pull request #1436 synchronize by Timmmm
32m 43s Timmmm:user/timh/set_abstract
Timmmm:user/timh/set_abstract
32m 43s
Upload test coverage Upload test coverage #684: completed by Timmmm
45s
45s
Publish test results Publish test results #2806: completed by Timmmm
30s
30s
Add support for C++ output Check formatting #3283: Pull request #1437 opened by Timmmm
52s Timmmm:user/timh/cpp
Timmmm:user/timh/cpp
52s
Add support for C++ output Test matrix #688: Pull request #1437 opened by Timmmm
31m 26s Timmmm:user/timh/cpp
Timmmm:user/timh/cpp
31m 26s
Publish test results Publish test results #2805: completed by Alasdair
23s
23s
Upload test coverage Upload test coverage #683: completed by Alasdair
3m 36s
3m 36s
Sail with interpreter semantics specified in Rocq and extracted to OCaml Check formatting #3282: Pull request #1432 synchronize by Alasdair
1m 6s rocq_extract
rocq_extract
1m 6s
Sail with interpreter semantics specified in Rocq and extracted to OCaml Test matrix #687: Pull request #1432 synchronize by Alasdair
32m 42s rocq_extract
rocq_extract
32m 42s
Prove a theorem aboute update_lexp_subexps Check formatting #3281: Commit e8857dd pushed by Alasdair
1m 25s rocq_extract
rocq_extract
1m 25s
Prove a theorem aboute update_lexp_subexps Build matrix #1587: Commit e8857dd pushed by Alasdair
10m 53s rocq_extract
rocq_extract
10m 53s
Upload test coverage Upload test coverage #682: completed by Alasdair
5m 10s
5m 10s
Publish test results Publish test results #2804: completed by Alasdair
21s
21s
Sail with interpreter semantics specified in Rocq and extracted to OCaml Check formatting #3280: Pull request #1432 synchronize by Alasdair
41s rocq_extract
rocq_extract
41s
Sail with interpreter semantics specified in Rocq and extracted to OCaml Test matrix #686: Pull request #1432 synchronize by Alasdair
33m 31s rocq_extract
rocq_extract
33m 31s
Remove all L-expression rewrites before interpreter Check formatting #3279: Commit 0d50850 pushed by Alasdair
1m 21s rocq_extract
rocq_extract
1m 21s
Remove all L-expression rewrites before interpreter Build matrix #1586: Commit 0d50850 pushed by Alasdair
8m 1s rocq_extract
rocq_extract
8m 1s
Publish test results Publish test results #2803: completed by Timmmm
20s
20s
Upload test coverage Upload test coverage #681: completed by Timmmm
48s
48s
Output calls to set_abstract_... in model_init() Check formatting #3278: Pull request #1436 opened by Timmmm
52s Timmmm:user/timh/set_abstract
Timmmm:user/timh/set_abstract
52s