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

Lean: Adding features to support structs and bitfields (#817) Build matrix #982: Commit f87c292 pushed by bacam
January 17, 2025 14:04 7m 41s sail2
sail2
January 17, 2025 14:04 7m 41s
Config: Add assertion to config integer parsing Build matrix #981: Commit b0e90d3 pushed by Alasdair
January 16, 2025 17:32 7m 10s config
config
January 16, 2025 17:32 7m 10s
Config: Add assertion to config integer parsing Build matrix #980: Commit 8389cfe pushed by Alasdair
January 16, 2025 16:46 8m 7s config
config
January 16, 2025 16:46 8m 7s
Config: Add assertion to config integer parsing Build matrix #979: Commit dea22bc pushed by Alasdair
January 16, 2025 16:44 7m 50s config
config
January 16, 2025 16:44 7m 50s
Config: Add assertion to config integer parsing Build matrix #978: Commit eae335f pushed by Alasdair
January 16, 2025 16:23 7m 25s config
config
January 16, 2025 16:23 7m 25s
Config: Add assertion to config integer parsing Build matrix #977: Commit 80a33a9 pushed by Alasdair
January 16, 2025 16:10 7m 27s config
config
January 16, 2025 16:10 7m 27s
Config: Add assertion to config integer parsing Build matrix #976: Commit 9a396d6 pushed by Alasdair
January 16, 2025 16:07 13m 33s config
config
January 16, 2025 16:07 13m 33s
CI: Update coverage action versions Build matrix #975: Commit cf168b5 pushed by Alasdair
January 16, 2025 16:07 7m 16s sail2
sail2
January 16, 2025 16:07 7m 16s
CI: Update coverage action versions Build matrix #974: Commit d9fdcd0 pushed by Alasdair
January 16, 2025 15:41 7m 45s ci_cov_actions
ci_cov_actions
January 16, 2025 15:41 7m 45s
Config: Add assertion to config integer parsing Build matrix #973: Commit 11687c8 pushed by Alasdair
January 16, 2025 15:34 10m 21s config
config
January 16, 2025 15:34 10m 21s
Config: Add assertion to config integer parsing Build matrix #972: Commit d5b37a3 pushed by Alasdair
January 16, 2025 14:39 8m 49s config
config
January 16, 2025 14:39 8m 49s
Config: Add assertion to config integer parsing Build matrix #971: Commit 21a3ad9 pushed by Alasdair
January 16, 2025 14:18 7m 16s config
config
January 16, 2025 14:18 7m 16s
Make sure version number gets updated without having to run dune clean Build matrix #970: Commit 153c7b6 pushed by Alasdair
January 16, 2025 13:59 7m 43s sail2
sail2
January 16, 2025 13:59 7m 43s
Lean: add placeholder for state monad to stateful functions (#870) Build matrix #969: Commit a1b339a pushed by bacam
January 16, 2025 13:35 7m 21s sail2
sail2
January 16, 2025 13:35 7m 21s
Lean: Fixing Lean style and wrong definition in Sail.lean (#891) Build matrix #968: Commit bf921f9 pushed by bacam
January 16, 2025 12:53 8m 42s sail2
sail2
January 16, 2025 12:53 8m 42s
add comment listing type quantifiers and constraints Build matrix #967: Commit 9addae9 pushed by bacam
January 16, 2025 11:46 7m 11s sail2
sail2
January 16, 2025 11:46 7m 11s
Coq test running update Build matrix #966: Commit d02e965 pushed by bacam
January 16, 2025 10:17 7m 36s sail2
sail2
January 16, 2025 10:17 7m 36s
Config: Fix issue with boolean values in configuration Build matrix #965: Commit 2d6d09b pushed by Alasdair
January 15, 2025 21:09 7m 15s config
config
January 15, 2025 21:09 7m 15s
Disable some nexp simplifications that confuse the Coq backend Build matrix #964: Commit 822c53e pushed by bacam
January 15, 2025 17:53 8m 31s sail2
sail2
January 15, 2025 17:53 8m 31s
TC: retry return type unification only after all arguments Build matrix #963: Commit 28ebb39 pushed by bacam
January 15, 2025 16:22 7m 30s sail2
sail2
January 15, 2025 16:22 7m 30s
Fix type simplification dangling type variable problem Build matrix #962: Commit f080bf5 pushed by bacam
January 15, 2025 15:50 8m 13s sail2
sail2
January 15, 2025 15:50 8m 13s
Config: Improve bitvector parsing Build matrix #961: Commit 393e52a pushed by Alasdair
January 14, 2025 16:45 14m 29s config
config
January 14, 2025 16:45 14m 29s
Fix foreach parse errors so that they report locations Build matrix #960: Commit 6f3985a pushed by bacam
January 14, 2025 15:24 7m 37s sail2
sail2
January 14, 2025 15:24 7m 37s
TC: don't report remainder of block for variable declaration errors Build matrix #959: Commit df5daa5 pushed by bacam
January 14, 2025 14:57 8m 21s sail2
sail2
January 14, 2025 14:57 8m 21s
TC: sizeof rewriting for vector types Build matrix #958: Commit 46e755d pushed by bacam
January 14, 2025 11:58 7m 26s sail2
sail2
January 14, 2025 11:58 7m 26s