Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,651 workflow run results
5,651 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload test coverage Upload test coverage #44: completed by Alasdair
February 14, 2025 15:28 3m 27s
February 14, 2025 15:28 3m 27s
Publish test results Publish test results #2167: completed by Alasdair
February 14, 2025 15:28 16s
February 14, 2025 15:28 16s
Lean: Fix more tests (#1009) Check formatting #2159: Commit 6ae1f3d pushed by Alasdair
February 14, 2025 15:16 39s sail2
sail2
February 14, 2025 15:16 39s
Lean: Fix more tests (#1009) Build matrix #1094: Commit 6ae1f3d pushed by Alasdair
February 14, 2025 15:16 7m 12s sail2
sail2
February 14, 2025 15:16 7m 12s
Lean: Fix more tests (#1009) Test matrix #45: Commit 6ae1f3d pushed by Alasdair
February 14, 2025 15:16 11m 45s sail2
sail2
February 14, 2025 15:16 11m 45s
Upload test coverage Upload test coverage #43: completed by Alasdair
February 14, 2025 15:13 3m 26s
February 14, 2025 15:13 3m 26s
Publish test results Publish test results #2166: completed by Alasdair
February 14, 2025 15:13 22s
February 14, 2025 15:13 22s
Upload test coverage Upload test coverage #42: completed by Alasdair
February 14, 2025 15:13 4m 20s
February 14, 2025 15:13 4m 20s
Publish test results Publish test results #2165: completed by Alasdair
February 14, 2025 15:13 28s
February 14, 2025 15:13 28s
Lean: Fix more tests Test matrix #44: Pull request #1009 opened by Alasdair
February 14, 2025 15:02 11m 46s lean_more_c_tests
lean_more_c_tests
February 14, 2025 15:02 11m 46s
Lean: Fix more tests Check formatting #2158: Pull request #1009 opened by Alasdair
February 14, 2025 15:02 38s lean_more_c_tests
lean_more_c_tests
February 14, 2025 15:02 38s
Lean: Fix more tests Build matrix #1093: Commit 8c1a53c pushed by Alasdair
February 14, 2025 15:01 7m 9s lean_more_c_tests
lean_more_c_tests
February 14, 2025 15:01 7m 9s
Lean: Fix more tests Check formatting #2157: Commit 8c1a53c pushed by Alasdair
February 14, 2025 15:01 44s lean_more_c_tests
lean_more_c_tests
February 14, 2025 15:01 44s
Lean: Fix more tests Test matrix #43: Commit 8c1a53c pushed by Alasdair
February 14, 2025 15:01 11m 27s lean_more_c_tests
lean_more_c_tests
February 14, 2025 15:01 11m 27s
Publish test results Publish test results #2164: completed by Alasdair
February 14, 2025 14:46 17s
February 14, 2025 14:46 17s
Upload test coverage Upload test coverage #41: completed by Alasdair
February 14, 2025 14:46 4m 27s
February 14, 2025 14:46 4m 27s
Publish test results Publish test results #2163: completed by Alasdair
February 14, 2025 14:45 20s
February 14, 2025 14:45 20s
Upload test coverage Upload test coverage #40: completed by Alasdair
February 14, 2025 14:45 3m 43s
February 14, 2025 14:45 3m 43s
Publish test results Publish test results #2162: completed by Alasdair
February 14, 2025 14:34 17s
February 14, 2025 14:34 17s
Upload test coverage Upload test coverage #39: completed by Alasdair
February 14, 2025 14:34 3m 45s
February 14, 2025 14:34 3m 45s
Lean: fix doc_typdef for abbrev of ranges and bools (#1007) Build matrix #1092: Commit 2941bd7 pushed by Alasdair
February 14, 2025 14:33 7m 18s sail2
sail2
February 14, 2025 14:33 7m 18s
Lean: fix doc_typdef for abbrev of ranges and bools (#1007) Test matrix #42: Commit 2941bd7 pushed by Alasdair
February 14, 2025 14:33 13m 32s sail2
sail2
February 14, 2025 14:33 13m 32s
Lean: fix doc_typdef for abbrev of ranges and bools (#1007) Check formatting #2156: Commit 2941bd7 pushed by Alasdair
February 14, 2025 14:33 37s sail2
sail2
February 14, 2025 14:33 37s
Lean: Run more tests (#1008) Build matrix #1091: Commit 8797890 pushed by Alasdair
February 14, 2025 14:32 7m 5s sail2
sail2
February 14, 2025 14:32 7m 5s
Lean: Run more tests (#1008) Check formatting #2155: Commit 8797890 pushed by Alasdair
February 14, 2025 14:32 45s sail2
sail2
February 14, 2025 14:32 45s