Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
743 workflow run results
743 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 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: 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
struct pattern implementation (#1006) Build matrix #1090: Commit fb75c8d pushed by Alasdair
February 14, 2025 14:14 11m 17s sail2
sail2
February 14, 2025 14:14 11m 17s
Lean: Run more tests Build matrix #1089: Commit 0202ee8 pushed by Alasdair
February 14, 2025 14:14 11m 16s lean_c_tests
lean_c_tests
February 14, 2025 14:14 11m 16s
CI: Add monomorphisation tests to CI Build matrix #1088: Commit 8662254 pushed by Alasdair
February 14, 2025 14:12 7m 22s lean_c_tests
lean_c_tests
February 14, 2025 14:12 7m 22s
Lean: add support for try/catch (#1004) Build matrix #1087: Commit c2a6b9d pushed by Alasdair
February 14, 2025 13:22 7m 12s sail2
sail2
February 14, 2025 13:22 7m 12s
add more annotation, fix omitted fundefs (#1002) Build matrix #1086: Commit 5342a05 pushed by Alasdair
February 14, 2025 12:33 7m 19s sail2
sail2
February 14, 2025 12:33 7m 19s
CI: Add monomorphisation tests to CI (#1001) Build matrix #1085: Commit 39ff330 pushed by Alasdair
February 14, 2025 12:20 7m 30s sail2
sail2
February 14, 2025 12:20 7m 30s
CI: Add monomorphisation tests to CI Build matrix #1084: Commit 8662254 pushed by Alasdair
February 14, 2025 12:05 7m 23s mono_test_ci
mono_test_ci
February 14, 2025 12:05 7m 23s
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 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
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
SV: Add a rule to simplify (x >> n)[m] --> x[n + m] Build matrix #1080: Commit 5488953 pushed by Alasdair
February 14, 2025 11:23 7m 19s sail2
sail2
February 14, 2025 11:23 7m 19s
Lean: print name of failing test Build matrix #1079: Commit 0c561cd pushed by Alasdair
February 14, 2025 11:11 9m 57s sail2
sail2
February 14, 2025 11:11 9m 57s
SV: Add a rule to simplify (x >> n)[m] --> x[n + m] Build matrix #1078: Commit d173144 pushed by Alasdair
February 14, 2025 11:10 7m 22s sv_shift_simp
sv_shift_simp
February 14, 2025 11:10 7m 22s
SV: Enable another test Build matrix #1077: Commit a84fb81 pushed by Alasdair
February 14, 2025 00:17 7m 12s sail2
sail2
February 14, 2025 00:17 7m 12s
SV: Enable another test Build matrix #1076: Commit 429d017 pushed by Alasdair
February 14, 2025 00:04 7m 6s ite_simp_sv
ite_simp_sv
February 14, 2025 00:04 7m 6s
Make sail-mode comment variables buffer local Build matrix #1075: Commit 9e54b6e pushed by bacam
February 13, 2025 22:32 8m 47s sail2
sail2
February 13, 2025 22:32 8m 47s
SV: Improve if-then-else simplification Build matrix #1074: Commit bb0cafe pushed by Alasdair
February 13, 2025 21:18 7m 33s ite_simp_sv
ite_simp_sv
February 13, 2025 21:18 7m 33s
SV: Get cheri128_hsb test working Build matrix #1073: Commit 780081b pushed by Alasdair
February 13, 2025 21:05 8m 11s sail2
sail2
February 13, 2025 21:05 8m 11s
SV: Get cheri128_hsb test working Build matrix #1072: Commit 7c04b51 pushed by Alasdair
February 13, 2025 20:01 7m 27s cheri128_hsb_sv
cheri128_hsb_sv
February 13, 2025 20:01 7m 27s
CI: Make CI run Sail test suites in parallel Build matrix #1071: Commit 0d53955 pushed by Alasdair
February 13, 2025 17:50 7m 22s sail2
sail2
February 13, 2025 17:50 7m 22s
When rewriting guarded clauses, use proper env in pat_to_exp Build matrix #1070: Commit e1994c5 pushed by Alasdair
February 13, 2025 17:29 7m 33s sail2
sail2
February 13, 2025 17:29 7m 33s