Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #2408: completed by Alasdair
March 6, 2025 00:32 30s
March 6, 2025 00:32 30s
Publish test results Publish test results #2407: completed by protoben
March 6, 2025 00:21 25s
March 6, 2025 00:21 25s
Upload test coverage Upload test coverage #284: completed by protoben
March 6, 2025 00:21 3m 22s
March 6, 2025 00:21 3m 22s
TC: Allow unit register without initial value Check formatting #2510: Pull request #1110 opened by Alasdair
March 6, 2025 00:12 37s undef_unit_reg
undef_unit_reg
March 6, 2025 00:12 37s
TC: Allow unit register without initial value Test matrix #287: Pull request #1110 opened by Alasdair
March 6, 2025 00:12 20m 5s undef_unit_reg
undef_unit_reg
March 6, 2025 00:12 20m 5s
TC: Allow unit register without initial value Build matrix #1215: Commit 3797635 pushed by Alasdair
March 6, 2025 00:11 7m 30s undef_unit_reg
undef_unit_reg
March 6, 2025 00:11 7m 30s
TC: Allow unit register without initial value Check formatting #2509: Commit 3797635 pushed by Alasdair
March 6, 2025 00:11 48s undef_unit_reg
undef_unit_reg
March 6, 2025 00:11 48s
Re-enable lean tests that were skipped, but are now passing Check formatting #2508: Pull request #1109 opened by protoben
March 6, 2025 00:02 44s protoben:re-enable-passing-skips
protoben:re-enable-passing-skips
March 6, 2025 00:02 44s
Re-enable lean tests that were skipped, but are now passing Test matrix #286: Pull request #1109 opened by protoben
March 6, 2025 00:02 18m 43s protoben:re-enable-passing-skips
protoben:re-enable-passing-skips
March 6, 2025 00:02 18m 43s
Lean: Fix issue with nested constructors in patterns Build matrix #1214: Commit 2f45fe5 pushed by Alasdair
March 5, 2025 22:36 7m 14s sail2
sail2
March 5, 2025 22:36 7m 14s
Lean: Fix issue with nested constructors in patterns Check formatting #2507: Commit 2f45fe5 pushed by Alasdair
March 5, 2025 22:36 1m 11s sail2
sail2
March 5, 2025 22:36 1m 11s
Upload test coverage Upload test coverage #283: completed by Alasdair
March 5, 2025 21:17 3m 39s
March 5, 2025 21:17 3m 39s
Publish test results Publish test results #2406: completed by Alasdair
March 5, 2025 21:17 20s
March 5, 2025 21:17 20s
Lean: Fix some more tests Test matrix #285: Pull request #1107 opened by Alasdair
March 5, 2025 20:58 19m 8s lean_test_fixes
lean_test_fixes
March 5, 2025 20:58 19m 8s
Lean: Fix some more tests Check formatting #2506: Pull request #1107 opened by Alasdair
March 5, 2025 20:58 42s lean_test_fixes
lean_test_fixes
March 5, 2025 20:58 42s
Lean: Fix issue with nested constructors in patterns Check formatting #2505: Commit 3a85574 pushed by Alasdair
March 5, 2025 20:56 50s lean_test_fixes
lean_test_fixes
March 5, 2025 20:56 50s
Lean: Fix issue with nested constructors in patterns Build matrix #1213: Commit 3a85574 pushed by Alasdair
March 5, 2025 20:56 7m 17s lean_test_fixes
lean_test_fixes
March 5, 2025 20:56 7m 17s
Add a when clause that applies to both sides of a mapping Build matrix #1212: Commit 571a4db pushed by Alasdair
March 5, 2025 18:12 7m 5s sail2
sail2
March 5, 2025 18:12 7m 5s
Add a when clause that applies to both sides of a mapping Check formatting #2504: Commit 571a4db pushed by Alasdair
March 5, 2025 18:12 34s sail2
sail2
March 5, 2025 18:12 34s
Upload test coverage Upload test coverage #282: completed by Alasdair
March 5, 2025 17:12 4m 20s
March 5, 2025 17:12 4m 20s
Publish test results Publish test results #2405: completed by Alasdair
March 5, 2025 17:12 26s
March 5, 2025 17:12 26s
TC: Smarter pattern completeness for scattered definitions Build matrix #1211: Commit 54dd131 pushed by Alasdair
March 5, 2025 17:01 7m 23s sail2
sail2
March 5, 2025 17:01 7m 23s
TC: Smarter pattern completeness for scattered definitions Check formatting #2503: Commit 54dd131 pushed by Alasdair
March 5, 2025 17:01 1m 53s sail2
sail2
March 5, 2025 17:01 1m 53s
Upload test coverage Upload test coverage #281: completed by Alasdair
March 5, 2025 16:55 6m 4s
March 5, 2025 16:55 6m 4s
Publish test results Publish test results #2404: completed by Alasdair
March 5, 2025 16:55 27s
March 5, 2025 16:55 27s