Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
772 workflow runs
772 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make sure version number gets updated without having to run dune clean Build matrix #947: Commit 35bfd4f pushed by Alasdair
January 8, 2025 20:30 7m 13s manifest_fix
manifest_fix
January 8, 2025 20:30 7m 13s
Sail configuration system Build matrix #946: Commit 241e60f pushed by Alasdair
January 8, 2025 11:46 7m 21s config
config
January 8, 2025 11:46 7m 21s
Sail configuration system Build matrix #945: Commit f997f2b pushed by Alasdair
January 8, 2025 02:12 7m 8s config
config
January 8, 2025 02:12 7m 8s
Sail configuration system Build matrix #944: Commit a21d509 pushed by Alasdair
January 8, 2025 01:41 7m 6s config
config
January 8, 2025 01:41 7m 6s
SMT: Add missing arith_bits case Build matrix #943: Commit 18b0aec pushed by Alasdair
January 8, 2025 00:38 7m 20s sail2
sail2
January 8, 2025 00:38 7m 20s
Sail configuration system Build matrix #942: Commit 9e8713d pushed by Alasdair
January 8, 2025 00:32 8m 11s config
config
January 8, 2025 00:32 8m 11s
Sail configuration system Build matrix #941: Commit 672a076 pushed by Alasdair
January 8, 2025 00:19 7m 13s config
config
January 8, 2025 00:19 7m 13s
Sail configuration system Build matrix #940: Commit df30548 pushed by Alasdair
January 7, 2025 23:18 7m 18s config
config
January 7, 2025 23:18 7m 18s
Sail configuration system Build matrix #939: Commit 2f3fde8 pushed by Alasdair
January 7, 2025 23:16 7m 20s config
config
January 7, 2025 23:16 7m 20s
SMT: Add missing arith_bits case Build matrix #938: Commit fb9c198 pushed by Alasdair
January 7, 2025 16:10 7m 21s smt_arith_bits
smt_arith_bits
January 7, 2025 16:10 7m 21s
Report locations for missing SMT generators Build matrix #937: Commit 1cc3881 pushed by Alasdair
January 7, 2025 15:46 20m 38s sail2
sail2
January 7, 2025 15:46 20m 38s
Build matrix Build matrix #936: by Alasdair
January 7, 2025 15:33 7m 19s sail2
sail2
January 7, 2025 15:33 7m 19s
Build matrix Build matrix #935: by Alasdair
January 7, 2025 15:32 7m 45s sail2
sail2
January 7, 2025 15:32 7m 45s
TC: Add context to failed constraint errors Build matrix #934: Commit c2fe0d4 pushed by Alasdair
January 6, 2025 17:22 7m 24s sail2
sail2
January 6, 2025 17:22 7m 24s
Float: Introduce no rounding for same exp add Build matrix #933: Commit 57ff1f2 pushed by Alasdair
January 6, 2025 17:21 7m 39s sail2
sail2
January 6, 2025 17:21 7m 39s
Update macOS installation instructions (pkgconf) Build matrix #932: Commit 38c0599 pushed by Alasdair
January 6, 2025 17:16 7m 12s sail2
sail2
January 6, 2025 17:16 7m 12s
TC: Add context to failed constraint errors Build matrix #931: Commit 65e825b pushed by Alasdair
January 6, 2025 16:51 7m 18s issue853fix
issue853fix
January 6, 2025 16:51 7m 18s
TC: avoid division by zero corner case Build matrix #930: Commit 8cd9d16 pushed by bacam
January 6, 2025 12:17 9m 25s sail2
sail2
January 6, 2025 12:17 9m 25s
Refactor command line flag handling for plugins Build matrix #929: Commit fd18b93 pushed by Alasdair
December 18, 2024 18:07 9m 36s sail2
sail2
December 18, 2024 18:07 9m 36s
Refactor command line flag handling for plugins Build matrix #928: Commit 562a5c9 pushed by Alasdair
December 18, 2024 17:42 7m 51s new_plugin_flags
new_plugin_flags
December 18, 2024 17:42 7m 51s
Upgrade build.yml action versions Build matrix #927: Commit 304b491 pushed by Alasdair
December 17, 2024 17:02 7m 38s sail2
sail2
December 17, 2024 17:02 7m 38s
TC: Fix missing location in mapping patterns Build matrix #926: Commit 0771a4b pushed by Alasdair
December 17, 2024 16:56 9m 54s sail2
sail2
December 17, 2024 16:56 9m 54s
TC: Fix missing location in mapping patterns Build matrix #925: Commit 93bf500 pushed by Alasdair
December 17, 2024 16:28 7m 40s mp_missing_loc
mp_missing_loc
December 17, 2024 16:28 7m 40s
TC: Fix missing location in mapping patterns Build matrix #924: Commit 205daae pushed by Alasdair
December 17, 2024 16:26 7m 44s mp_missing_loc
mp_missing_loc
December 17, 2024 16:26 7m 44s
Lean: fix generated lean projects (#829) Build matrix #923: Commit 52d292a pushed by bacam
December 17, 2024 15:58 7m 34s sail2
sail2
December 17, 2024 15:58 7m 34s