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

Config: Support parsing structs Build matrix #957: Commit 4f95bfc pushed by Alasdair
January 13, 2025 23:24 7m 32s config
config
January 13, 2025 23:24 7m 32s
TC: Simplify synonym expansion Build matrix #956: Commit 94781a6 pushed by Alasdair
January 13, 2025 20:30 7m 18s config
config
January 13, 2025 20:30 7m 18s
TC: expand types from function annotations in the same way as val_specs Build matrix #955: Commit 55947d1 pushed by bacam
January 13, 2025 18:05 7m 41s sail2
sail2
January 13, 2025 18:05 7m 41s
TC: Simplify synonym expansion Build matrix #954: Commit e57998b pushed by Alasdair
January 13, 2025 17:54 7m 43s config
config
January 13, 2025 17:54 7m 43s
TC: Simplify synonym expansion Build matrix #953: Commit e4e4fd4 pushed by Alasdair
January 13, 2025 17:50 7m 13s config
config
January 13, 2025 17:50 7m 13s
TC: report length found vs length expected in vector literal errors Build matrix #952: Commit 9eace1b pushed by bacam
January 13, 2025 16:28 7m 20s sail2
sail2
January 13, 2025 16:28 7m 20s
Update vim keywords Build matrix #951: Commit 776eecf pushed by bacam
January 13, 2025 16:00 7m 23s sail2
sail2
January 13, 2025 16:00 7m 23s
Config: Generate JSON Schema based on spec configuration types Build matrix #950: Commit b27b726 pushed by Alasdair
January 11, 2025 02:53 7m 21s config
config
January 11, 2025 02:53 7m 21s
Config: Generate JSON Schema based on spec configuration types Build matrix #949: Commit 936a6a9 pushed by Alasdair
January 11, 2025 00:00 7m 23s config
config
January 11, 2025 00:00 7m 23s
Re-add attribute for records generated from bitfields Build matrix #948: Commit 707f53d pushed by bacam
January 10, 2025 14:16 7m 28s sail2
sail2
January 10, 2025 14:16 7m 28s
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