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

Publish test results Publish test results #2144: completed by Alasdair
February 14, 2025 11:51 21s
February 14, 2025 11:51 21s
Upload test coverage Upload test coverage #20: completed by Alasdair
February 14, 2025 11:48 3m 26s
February 14, 2025 11:48 3m 26s
Publish test results Publish test results #2143: completed by Alasdair
February 14, 2025 11:48 16s
February 14, 2025 11:48 16s
CI: Add monomorphisation tests to CI Check formatting #2138: Pull request #1001 opened by Alasdair
February 14, 2025 11:40 5m 12s mono_test_ci
mono_test_ci
February 14, 2025 11:40 5m 12s
CI: Add monomorphisation tests to CI Test matrix #24: Pull request #1001 opened by Alasdair
February 14, 2025 11:40 16m 28s mono_test_ci
mono_test_ci
February 14, 2025 11:40 16m 28s
CI: Add monomorphisation tests to CI Build matrix #1083: Commit 8403edd pushed by Alasdair
February 14, 2025 11:40 10m 21s mono_test_ci
mono_test_ci
February 14, 2025 11:40 10m 21s
CI: Add monomorphisation tests to CI Test matrix #23: Commit 8403edd pushed by Alasdair
February 14, 2025 11:40 13m 45s mono_test_ci
mono_test_ci
February 14, 2025 11:40 13m 45s
CI: Add monomorphisation tests to CI Check formatting #2137: Commit 8403edd pushed by Alasdair
February 14, 2025 11:40 1m 25s mono_test_ci
mono_test_ci
February 14, 2025 11:40 1m 25s
Publish test results Publish test results #2142: completed by ineol
February 14, 2025 11:39 17s
February 14, 2025 11:39 17s
Upload test coverage Upload test coverage #19: completed by ineol
February 14, 2025 11:39 3m 24s
February 14, 2025 11:39 3m 24s
CI: Add monomorphisation tests to CI Build matrix #1082: Commit dc05ef4 pushed by Alasdair
February 14, 2025 11:39 7m 18s mono_test_ci
mono_test_ci
February 14, 2025 11:39 7m 18s
CI: Add monomorphisation tests to CI Check formatting #2136: Commit dc05ef4 pushed by Alasdair
February 14, 2025 11:39 48s mono_test_ci
mono_test_ci
February 14, 2025 11:39 48s
CI: Add monomorphisation tests to CI Test matrix #22: Commit dc05ef4 pushed by Alasdair
February 14, 2025 11:39 11m 59s mono_test_ci
mono_test_ci
February 14, 2025 11:39 11m 59s
Lean: Disable match_bv for now since it's breaking the RISC-V model (… Test matrix #21: Commit bceade0 pushed by Alasdair
February 14, 2025 11:35 12m 33s sail2
sail2
February 14, 2025 11:35 12m 33s
Lean: Disable match_bv for now since it's breaking the RISC-V model (… Build matrix #1081: Commit bceade0 pushed by Alasdair
February 14, 2025 11:35 7m 24s sail2
sail2
February 14, 2025 11:35 7m 24s
Lean: Disable match_bv for now since it's breaking the RISC-V model (… Check formatting #2135: Commit bceade0 pushed by Alasdair
February 14, 2025 11:35 38s sail2
sail2
February 14, 2025 11:35 38s
Publish test results Publish test results #2141: completed by Alasdair
February 14, 2025 11:35 17s
February 14, 2025 11:35 17s
Upload test coverage Upload test coverage #18: completed by Alasdair
February 14, 2025 11:35 3m 23s
February 14, 2025 11:35 3m 23s
Lean: Disable match_bv for now since it's breaking the RISC-V model Check formatting #2134: Pull request #1000 synchronize by ineol
February 14, 2025 11:28 38s lfrenot:lean/fix_disable_match_bv
lfrenot:lean/fix_disable_match_bv
February 14, 2025 11:28 38s
Lean: Disable match_bv for now since it's breaking the RISC-V model Test matrix #20: Pull request #1000 synchronize by ineol
February 14, 2025 11:28 11m 22s lfrenot:lean/fix_disable_match_bv
lfrenot:lean/fix_disable_match_bv
February 14, 2025 11:28 11m 22s
Publish test results Publish test results #2140: completed by lfrenot
February 14, 2025 11:27 19s
February 14, 2025 11:27 19s
Upload test coverage Upload test coverage #17: completed by lfrenot
February 14, 2025 11:27 3m 28s
February 14, 2025 11:27 3m 28s
Upload test coverage Upload test coverage #16: completed by Alasdair
February 14, 2025 11:23 4m 32s
February 14, 2025 11:23 4m 32s
Publish test results Publish test results #2139: completed by Alasdair
February 14, 2025 11:23 17s
February 14, 2025 11:23 17s
SV: Add a rule to simplify (x >> n)[m] --> x[n + m] Test matrix #19: Commit 5488953 pushed by Alasdair
February 14, 2025 11:23 11m 42s sail2
sail2
February 14, 2025 11:23 11m 42s