Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,903 workflow runs
6,903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix --lean-lib-repo cmd line argument bug Test matrix #963: Pull request #1626 opened by Chris-F5
Action required Chris-F5:fix-lean-lib-repo-bug
Chris-F5:fix-lean-lib-repo-bug
Action required
Fix --lean-lib-repo cmd line argument bug Check formatting #3819: Pull request #1626 opened by Chris-F5
Action required Chris-F5:fix-lean-lib-repo-bug
Chris-F5:fix-lean-lib-repo-bug
Action required
Publish test results Publish test results #3081: completed by Alasdair
26s
26s
Upload test coverage Upload test coverage #959: completed by Alasdair
3m 13s
3m 13s
Prove that unknown ordering relation on values forms a partial order Check formatting #3818: Pull request #1625 opened by Alasdair
37s rocq_value_u_order
rocq_value_u_order
37s
Prove that unknown ordering relation on values forms a partial order Test matrix #962: Pull request #1625 opened by Alasdair
21m 58s rocq_value_u_order
rocq_value_u_order
21m 58s
Prove that unknown ordering relation on values forms a partial order Build matrix #1848: Commit d30a314 pushed by Alasdair
26m 36s rocq_value_u_order
rocq_value_u_order
26m 36s
Prove that unknown ordering relation on values forms a partial order Check formatting #3817: Commit d30a314 pushed by Alasdair
28s rocq_value_u_order
rocq_value_u_order
28s
Publish test results Publish test results #3080: completed by Ptival
23s
23s
Upload test coverage Upload test coverage #958: completed by Ptival
3m 31s
3m 31s
bump bracket depth for Clang in Lean backend Test matrix #961: Pull request #1624 opened by Ptival
22m 23s GaloisInc:vr/lean-backend-clang-bracket-depth
GaloisInc:vr/lean-backend-clang-bracket-depth
22m 23s
bump bracket depth for Clang in Lean backend Check formatting #3816: Pull request #1624 opened by Ptival
43s GaloisInc:vr/lean-backend-clang-bracket-depth
GaloisInc:vr/lean-backend-clang-bracket-depth
43s
Upload test coverage Upload test coverage #957: completed by KotorinMinami
3m 15s
3m 15s
Publish test results Publish test results #3079: completed by KotorinMinami
18s
18s
fix Nonexec when mapping backwards with string append Check formatting #3815: Pull request #1622 opened by KotorinMinami
26s KotorinMinami:fix_map_append_string
KotorinMinami:fix_map_append_string
26s
fix Nonexec when mapping backwards with string append Test matrix #960: Pull request #1622 opened by KotorinMinami
23m 22s KotorinMinami:fix_map_append_string
KotorinMinami:fix_map_append_string
23m 22s
Generalise Rocq pattern semantics (#1621) Check formatting #3814: Commit aafbbbb pushed by Alasdair
35s sail2
sail2
35s
Generalise Rocq pattern semantics (#1621) Build matrix #1847: Commit aafbbbb pushed by Alasdair
26m 7s sail2
sail2
26m 7s
Publish test results Publish test results #3078: completed by Alasdair
25s
25s
Upload test coverage Upload test coverage #956: completed by Alasdair
3m 34s
3m 34s
Generalise Rocq pattern semantics Test matrix #959: Pull request #1621 opened by Alasdair
22m 3s rocq_pattern_u
rocq_pattern_u
22m 3s
Generalise Rocq pattern semantics Check formatting #3813: Pull request #1621 opened by Alasdair
35s rocq_pattern_u
rocq_pattern_u
35s
Generalise pattern matching in Rocq semantics to work with unknown va… Build matrix #1846: Commit 5a85c41 pushed by Alasdair
26m 49s rocq_pattern_u
rocq_pattern_u
26m 49s
Generalise pattern matching in Rocq semantics to work with unknown va… Check formatting #3812: Commit 5a85c41 pushed by Alasdair
29s rocq_pattern_u
rocq_pattern_u
29s
Move undefined from literal to expression Build matrix #1845: Commit 0fdec9e pushed by Alasdair
26m 14s sail2
sail2
26m 14s