Skip to content

Actions: GaloisInc/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump bracket depth for Clang in Lean backend Check formatting #47: Commit 76a1dbb pushed by Ptival
5m 22s vr/lean-backend-clang-bracket-depth
vr/lean-backend-clang-bracket-depth
5m 22s
bump bracket depth for Clang in Lean backend Build matrix #47: Commit 76a1dbb pushed by Ptival
9m 54s vr/lean-backend-clang-bracket-depth
vr/lean-backend-clang-bracket-depth
9m 54s
Merge branch 'sail2' into jln-riscv-tests Check formatting #46: Commit e0e620b pushed by jn80842
28s jln-riscv-tests
jln-riscv-tests
28s
Merge branch 'sail2' into jln-riscv-tests Build matrix #46: Commit e0e620b pushed by jn80842
35m 34s jln-riscv-tests
jln-riscv-tests
35m 34s
bump Lean version Build matrix #45: Commit ff67b6b pushed by Ptival
15m 56s vr/bump-lean
vr/bump-lean
15m 56s
bump Lean version Check formatting #45: Commit ff67b6b pushed by Ptival
42s vr/bump-lean
vr/bump-lean
42s
bump Lean version Build matrix #44: Commit 2b4cce2 pushed by Ptival
15m 49s vr/bump-lean
vr/bump-lean
15m 49s
bump Lean version Check formatting #44: Commit 2b4cce2 pushed by Ptival
5m 7s vr/bump-lean
vr/bump-lean
5m 7s
add Repr trait to RegisterType for debugging Build matrix #43: Commit e5bae46 pushed by jn80842
10m 48s jln-riscv-tests
jln-riscv-tests
10m 48s
add Repr trait to RegisterType for debugging Check formatting #43: Commit e5bae46 pushed by jn80842
5m 15s jln-riscv-tests
jln-riscv-tests
5m 15s
bump Lean version Build matrix #42: Commit 7d1623f pushed by Ptival
10m 59s vr/bump-lean
vr/bump-lean
10m 59s
bump Lean version Check formatting #42: Commit 7d1623f pushed by Ptival
5m 38s vr/bump-lean
vr/bump-lean
5m 38s
changes to get LeanRiscv.lean running Build matrix #41: Commit b47008b pushed by Ptival
13m 19s jln-riscv-tests
jln-riscv-tests
13m 19s
changes to get LeanRiscv.lean running Check formatting #41: Commit b47008b pushed by Ptival
5m 41s jln-riscv-tests
jln-riscv-tests
5m 41s
Fix type inference with if Check formatting #40: Commit 9d344c5 pushed by jprider63
1m 57s lean/if_not_bif
lean/if_not_bif
1m 57s
Fix type inference with if Build matrix #40: Commit 9d344c5 pushed by jprider63
7m 15s lean/if_not_bif
lean/if_not_bif
7m 15s
Switch from bif to if in Lean backend Build matrix #39: Commit c24422f pushed by jprider63
10m 18s lean/if_not_bif
lean/if_not_bif
10m 18s
Switch from bif to if in Lean backend Check formatting #39: Commit c24422f pushed by jprider63
5m 10s lean/if_not_bif
lean/if_not_bif
5m 10s
64 bit ELF tests Check formatting #38: Commit ac33522 pushed by jprider63
1m 18s jln-riscv-tests
jln-riscv-tests
1m 18s
64 bit ELF tests Build matrix #38: Commit ac33522 pushed by jprider63
7m 3s jln-riscv-tests
jln-riscv-tests
7m 3s
Update Sail RiscV dependency Check formatting #37: Commit e98b123 pushed by jprider63
1m 11s jln-riscv-tests
jln-riscv-tests
1m 11s
Update Sail RiscV dependency Build matrix #37: Commit e98b123 pushed by jprider63
7m 5s jln-riscv-tests
jln-riscv-tests
7m 5s
Set bracket-depth=512 in Lean backend Check formatting #36: Commit 484b427 pushed by jprider63
33s jln-riscv-tests
jln-riscv-tests
33s
Set bracket-depth=512 in Lean backend Build matrix #36: Commit 484b427 pushed by jprider63
7m 31s jln-riscv-tests
jln-riscv-tests
7m 31s
Set bracket-depth=512 in Lean backend Build matrix #35: Commit 18a823c pushed by jprider63
10m 47s jln-riscv-tests
jln-riscv-tests
10m 47s