Skip to content

Actions: rems-project/sail

Actions

Test matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-matrix.yml
307 workflow runs
307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unique names for binary releases Test matrix #307: Pull request #1128 opened by jordancarlin
March 8, 2025 08:50 19m 23s jordancarlin:release_names
jordancarlin:release_names
March 8, 2025 08:50 19m 23s
Pre-compile libsail_coverage.a in binary release Test matrix #306: Pull request #1126 opened by jordancarlin
March 8, 2025 08:24 20m 33s jordancarlin:libsail_coverage
jordancarlin:libsail_coverage
March 8, 2025 08:24 20m 33s
Lean: join2 uses big endian Test matrix #305: Pull request #1125 opened by tobiasgrosser
March 8, 2025 05:52 19m 4s opencompl:bv_literal
opencompl:bv_literal
March 8, 2025 05:52 19m 4s
Lean: add annotations to test/[cheri128_hsb|poly_pair|large_bitvector] Test matrix #304: Pull request #1124 synchronize by tobiasgrosser
March 8, 2025 05:33 19m 24s opencompl:cheri128_hsb
opencompl:cheri128_hsb
March 8, 2025 05:33 19m 24s
Lean: add annotations to test/[cheri128_hsb|poly_pair|large_bitvector] Test matrix #303: Pull request #1124 synchronize by tobiasgrosser
March 8, 2025 04:37 20m 43s opencompl:cheri128_hsb
opencompl:cheri128_hsb
March 8, 2025 04:37 20m 43s
Lean: add annotations to test/[cheri128_hsb|poly_pair|large_bitvector] Test matrix #302: Pull request #1124 synchronize by tobiasgrosser
March 8, 2025 04:29 19m 33s opencompl:cheri128_hsb
opencompl:cheri128_hsb
March 8, 2025 04:29 19m 33s
Lean: add annotations to test/[cheri128_hsb|poly_pair|large_bitvector] Test matrix #301: Pull request #1124 synchronize by tobiasgrosser
March 8, 2025 04:28 20m 47s opencompl:cheri128_hsb
opencompl:cheri128_hsb
March 8, 2025 04:28 20m 47s
Lean: add annotations to test/[cheri128_hsb|poly_pair|large_bitvector] Test matrix #300: Pull request #1124 opened by tobiasgrosser
March 8, 2025 04:05 19m 39s opencompl:cheri128_hsb
opencompl:cheri128_hsb
March 8, 2025 04:05 19m 39s
Remove the --abstract-types feature gate flag Test matrix #299: Pull request #1121 synchronize by Alasdair
March 7, 2025 16:38 19m 14s abstract_type_flag
abstract_type_flag
March 7, 2025 16:38 19m 14s
Remove the --abstract-types feature gate flag Test matrix #298: Pull request #1121 opened by Alasdair
March 7, 2025 16:29 19m 42s abstract_type_flag
abstract_type_flag
March 7, 2025 16:29 19m 42s
Config: Fix issue with abstract booleans in configuration Test matrix #297: Pull request #1119 synchronize by Alasdair
March 7, 2025 16:04 19m 55s config_abstract_bool
config_abstract_bool
March 7, 2025 16:04 19m 55s
Config: Fix issue with abstract booleans in configuration Test matrix #296: Pull request #1119 opened by Alasdair
March 7, 2025 15:33 20m 10s config_abstract_bool
config_abstract_bool
March 7, 2025 15:33 20m 10s
Coq: use positive encoding to build eq_dec for variants Test matrix #295: Pull request #1118 opened by bacam
March 7, 2025 15:30 21m 45s bacam:coq-eq-dec
bacam:coq-eq-dec
March 7, 2025 15:30 21m 45s
Lean: fix list torture test Test matrix #294: Pull request #1117 opened by javra
March 7, 2025 13:33 20m 7s javra:lean/list_torture
javra:lean/list_torture
March 7, 2025 13:33 20m 7s
Increment version number Test matrix #293: Pull request #1115 opened by Alasdair
March 6, 2025 20:14 19m 13s version_incr
version_incr
March 6, 2025 20:14 19m 13s
Sail unit tests with $[test] attribute Test matrix #292: Pull request #1114 synchronize by Alasdair
March 6, 2025 19:28 19m 1s unit_tests
unit_tests
March 6, 2025 19:28 19m 1s
Sail unit tests with $[test] attribute Test matrix #291: Pull request #1114 opened by Alasdair
March 6, 2025 18:58 20m 12s unit_tests
unit_tests
March 6, 2025 18:58 20m 12s
Lean: fix parsing of hex numbers Test matrix #290: Pull request #1113 opened by ineol
March 6, 2025 10:44 19m 49s ineol:lean-hex-parsing
ineol:lean-hex-parsing
March 6, 2025 10:44 19m 49s
Tag snapshots with linguist-generated gitattribute Test matrix #289: Pull request #1112 opened by Alasdair
March 6, 2025 03:35 19m 33s linguist_gitattr
linguist_gitattr
March 6, 2025 03:35 19m 33s
Update old Sail to OCaml tests Test matrix #288: Pull request #1111 opened by Alasdair
March 6, 2025 02:47 18m 37s ocaml_test_update
ocaml_test_update
March 6, 2025 02:47 18m 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
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 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
Add a when clause that applies to both sides of a mapping Test matrix #284: Pull request #1106 opened by Alasdair
March 5, 2025 16:51 20m 12s mapping_when
mapping_when
March 5, 2025 16:51 20m 12s
Fix issues with pattern completeness for scattered functions Test matrix #283: Pull request #1105 synchronize by Alasdair
March 5, 2025 16:34 20m 33s sd_complete_fix
sd_complete_fix
March 5, 2025 16:34 20m 33s