Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

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
Remove Sail SMT uses of Sail2_values Check formatting #4209: Commit 42d1ec6 pushed by Alasdair
40s sail2
sail2
40s
Remove Sail SMT uses of Sail2_values Build matrix #2057: Commit 42d1ec6 pushed by Alasdair
25m 24s sail2
sail2
25m 24s
Fix type_shadow test in C Build matrix #2056: Commit 5f46c04 pushed by Alasdair
27m 56s sail2
sail2
27m 56s
Fix type_shadow test in C Check formatting #4208: Commit 5f46c04 pushed by Alasdair
54s sail2
sail2
54s
Upload test coverage Upload test coverage #1149: completed by Alasdair
7m 19s
7m 19s
Publish test results Publish test results #3271: completed by Alasdair
24s
24s
Fix type_shadow test in C Check formatting #4207: Pull request #1749 opened by Alasdair
47s c-shadow-fix
c-shadow-fix
47s
Fix type_shadow test in C Test matrix #1146: Pull request #1749 opened by Alasdair
28m 7s c-shadow-fix
c-shadow-fix
28m 7s
Fix type_shadow test in C Check formatting #4206: Commit 7c2b675 pushed by Alasdair
32s c-shadow-fix
c-shadow-fix
32s
Fix type_shadow test in C Build matrix #2055: Commit 7c2b675 pushed by Alasdair
25m 0s c-shadow-fix
c-shadow-fix
25m 0s
Publish test results Publish test results #3270: completed by Alasdair
20s
20s
Upload test coverage Upload test coverage #1148: completed by Alasdair
7m 24s
7m 24s
Remove Value2 module Test matrix #1145: Pull request #1748 opened by Alasdair
26m 35s value2_remove
value2_remove
26m 35s
Remove Value2 module Check formatting #4205: Pull request #1748 opened by Alasdair
35s value2_remove
value2_remove
35s
Remove Sail SMT uses of Sail2_values Check formatting #4204: Commit 274e790 pushed by Alasdair
43s value2_remove
value2_remove
43s
Remove Sail SMT uses of Sail2_values Build matrix #2054: Commit 274e790 pushed by Alasdair
26m 36s value2_remove
value2_remove
26m 36s
Remove single bit operations from Sail_lib Check formatting #4203: Commit 2b05391 pushed by Alasdair
51s sail2
sail2
51s
Remove single bit operations from Sail_lib Build matrix #2053: Commit 2b05391 pushed by Alasdair
25m 31s sail2
sail2
25m 31s
Upload test coverage Upload test coverage #1147: completed by Alasdair
6m 32s
6m 32s
Publish test results Publish test results #3269: completed by Alasdair
30s
30s
Port Sail primitives to Rocq Check formatting #4202: Pull request #1746 synchronize by Alasdair
36s rocq-primops-squash
rocq-primops-squash
36s
Port Sail primitives to Rocq Test matrix #1144: Pull request #1746 synchronize by Alasdair
24m 11s rocq-primops-squash
rocq-primops-squash
24m 11s
Remove single bit operations from Sail_lib Check formatting #4201: Commit ccb392c pushed by Alasdair
48s rocq-primops-squash
rocq-primops-squash
48s
Remove single bit operations from Sail_lib Build matrix #2052: Commit ccb392c pushed by Alasdair
21m 45s rocq-primops-squash
rocq-primops-squash
21m 45s
Publish test results Publish test results #3268: completed by Alasdair
26s
26s