Skip to content

Actions: rems-project/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
758 workflow runs
758 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
enable use of ocamldebug Build matrix #922: Commit 725cbde pushed by Alasdair
December 16, 2024 15:32 8m 9s sail2
sail2
December 16, 2024 15:32 8m 9s
translate trivial type quantifiers Build matrix #921: Commit 1b03b22 pushed by Alasdair
December 16, 2024 15:31 8m 45s sail2
sail2
December 16, 2024 15:31 8m 45s
Restore compatibility with OCaml 4.08.1 Build matrix #920: Commit 766b31e pushed by bacam
December 15, 2024 22:31 7m 21s sail2
sail2
December 15, 2024 22:31 7m 21s
Cope with spaces in pathnames Build matrix #919: Commit b9a6325 pushed by bacam
December 15, 2024 21:19 7m 36s sail2
sail2
December 15, 2024 21:19 7m 36s
Pattern Completeness: Warn if no wildcard case for scattered unions (… Build matrix #918: Commit a29b3db pushed by Alasdair
December 11, 2024 00:07 7m 34s sail2
sail2
December 11, 2024 00:07 7m 34s
Pattern Completeness: Warn if no wildcard case for scattered unions Build matrix #917: Commit b688318 pushed by Alasdair
December 10, 2024 22:22 7m 47s open_union_complete
open_union_complete
December 10, 2024 22:22 7m 47s
Pattern Completeness: Warn about future clauses in scattered enums (#… Build matrix #916: Commit dca9668 pushed by Alasdair
December 10, 2024 20:24 7m 40s sail2
sail2
December 10, 2024 20:24 7m 40s
Pattern Completeness: Warn about future clauses in scattered enums Build matrix #915: Commit 6293ed4 pushed by Alasdair
December 10, 2024 19:28 7m 31s open_enum_complete
open_enum_complete
December 10, 2024 19:28 7m 31s
Allow generating a vector for enumerations containing all members (#822) Build matrix #914: Commit 25c76c8 pushed by Alasdair
December 10, 2024 18:28 7m 31s sail2
sail2
December 10, 2024 18:28 7m 31s
TC: add shadow leak checking for internal_plet Build matrix #913: Commit 25208c3 pushed by bacam
December 10, 2024 15:14 13m 39s coq-new-regstate
coq-new-regstate
December 10, 2024 15:14 13m 39s
Fix memory leak in hex_str / hex_str_upper Build matrix #912: Commit 58b7d87 pushed by bacam
December 10, 2024 14:55 8m 6s sail2
sail2
December 10, 2024 14:55 8m 6s
Update mono tests and mono_rewrites library Build matrix #911: Commit c050b3d pushed by bacam
December 10, 2024 12:56 7m 37s sail2
sail2
December 10, 2024 12:56 7m 37s
TC: Allow generating a vector containing enum members Build matrix #910: Commit fb2face pushed by Alasdair
December 10, 2024 03:02 8m 39s enum_vector
enum_vector
December 10, 2024 03:02 8m 39s
TC: Allow generating a vector containing enum members Build matrix #909: Commit 819de75 pushed by Alasdair
December 10, 2024 02:30 7m 41s enum_vector
enum_vector
December 10, 2024 02:30 7m 41s
Parser: Allow trailing commas in more places Build matrix #908: Commit bd6fb0b pushed by Alasdair
December 9, 2024 16:21 7m 46s sail2
sail2
December 9, 2024 16:21 7m 46s