Skip to content

Actions: rems-project/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
1,988 workflow runs
1,988 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add bitvector domain, and induction rule for abstract values Check formatting #3876: Commit 7e0d798 pushed by Alasdair
37s rocq-partial
rocq-partial
37s
Updates to Rocq code for partial execution Check formatting #3875: Commit eff56f4 pushed by Alasdair
38s sail2
sail2
38s
Updates to Rocq code for partial execution Check formatting #3874: Pull request #1641 opened by Alasdair
35s rocq-partial
rocq-partial
35s
Updates to Rocq code for partial execution Check formatting #3873: Commit 3f59597 pushed by Alasdair
39s rocq-partial
rocq-partial
39s
Fix project suite Check formatting #3872: Commit 2335678 pushed by Alasdair
33s test_vibe
test_vibe
33s
Rename coq to rocq in tests Check formatting #3871: Commit d143ede pushed by bacam
35s sail2
sail2
35s
Rocq is Rocq Check formatting #3870: Pull request #1639 synchronize by bacam
42s bacam:rocq-is-rocq
bacam:rocq-is-rocq
42s
[Lean] Bump Lean toolchain version Check formatting #3869: Commit 4e33620 pushed by bacam
28s sail2
sail2
28s
Rocq is Rocq Check formatting #3868: Pull request #1639 synchronize by bacam
35s bacam:rocq-is-rocq
bacam:rocq-is-rocq
35s
Rocq is Rocq Check formatting #3867: Pull request #1639 synchronize by bacam
31s bacam:rocq-is-rocq
bacam:rocq-is-rocq
31s
Rocq is Rocq Check formatting #3866: Pull request #1639 opened by bacam
38s bacam:rocq-is-rocq
bacam:rocq-is-rocq
38s
[Lean] Bump Lean toolchain version Check formatting #3865: Pull request #1638 opened by ineol
32s ineol:ineol/push-ouyrmkvloqty
ineol:ineol/push-ouyrmkvloqty
32s
Assorted bug fixes (#1637) Check formatting #3864: Commit cea1fbb pushed by Alasdair
34s sail2
sail2
34s
Assorted bug fixes Check formatting #3863: Pull request #1637 synchronize by Alasdair
29s fixes_verilator
fixes_verilator
29s
Fix an issue where --c-no-mangle could cause name clashes Check formatting #3862: Commit 31f3e56 pushed by Alasdair
35s fixes_verilator
fixes_verilator
35s
Assorted bug fixes Check formatting #3861: Pull request #1637 opened by Alasdair
33s fixes_verilator
fixes_verilator
33s
Fix an issue where --c-no-mangle could cause name clashes Check formatting #3860: Commit fa51d3d pushed by Alasdair
38s fixes_verilator
fixes_verilator
38s
Change how the Rocq IdMap type is implemented (#1634) Check formatting #3859: Commit 2e284b5 pushed by Alasdair
4m 22s sail2
sail2
4m 22s
Change how the Rocq IdMap type is implemented Check formatting #3858: Pull request #1634 synchronize by Alasdair
39s rocq-newmap
rocq-newmap
39s
Sail->OCaml now creates a dune project Check formatting #3857: Commit 820860d pushed by Alasdair
44s rocq-newmap
rocq-newmap
44s
Sail->OCaml now creates a dune project Check formatting #3856: Commit d7117bd pushed by Alasdair
32s rocq-newmap
rocq-newmap
32s
Change how the Rocq IdMap type is implemented Check formatting #3855: Pull request #1634 synchronize by Alasdair
31s rocq-newmap
rocq-newmap
31s
Check formatting Check formatting #3854: by Alasdair
32s rocq-newmap
rocq-newmap
32s
Change how the Rocq IdMap type is implemented Check formatting #3853: Pull request #1634 synchronize by Alasdair
34s rocq-newmap
rocq-newmap
34s
Check formatting Check formatting #3852: by Alasdair
33s rocq-newmap
rocq-newmap
33s