Skip to content

Actions: GaloisInc/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Set bracket-depth=512 in Lean backend Check formatting #35: Commit 18a823c pushed by jprider63
6m 45s jln-riscv-tests
jln-riscv-tests
6m 45s
Initialize PC Build matrix #34: Commit 00063cd pushed by jprider63
7m 9s jln-riscv-tests
jln-riscv-tests
7m 9s
Initialize PC Check formatting #34: Commit 00063cd pushed by jprider63
1m 31s jln-riscv-tests
jln-riscv-tests
1m 31s
Infinite loops Build matrix #33: Commit 3c3ad27 pushed by jprider63
8m 8s jln-riscv-tests
jln-riscv-tests
8m 8s
Infinite loops Check formatting #33: Commit 3c3ad27 pushed by jprider63
1m 41s jln-riscv-tests
jln-riscv-tests
1m 41s
Update deps Build matrix #32: Commit 3bf24e6 pushed by jprider63
7m 35s jln-riscv-tests
jln-riscv-tests
7m 35s
Update deps Check formatting #32: Commit 3bf24e6 pushed by jprider63
2m 2s jln-riscv-tests
jln-riscv-tests
2m 2s
my_main Check formatting #31: Commit 4f2ce16 pushed by jprider63
1m 23s jln-riscv-tests
jln-riscv-tests
1m 23s
my_main Build matrix #31: Commit 4f2ce16 pushed by jprider63
8m 42s jln-riscv-tests
jln-riscv-tests
8m 42s
Dependencies build Build matrix #30: Commit a6ba7b8 pushed by jprider63
14m 4s jln-riscv-tests
jln-riscv-tests
14m 4s
Dependencies build Check formatting #30: Commit a6ba7b8 pushed by jprider63
5m 14s jln-riscv-tests
jln-riscv-tests
5m 14s
Merge remote-tracking branch 'upstream/sail2' into jln-riscv-tests Build matrix #29: Commit 3c35867 pushed by jn80842
11m 20s jln-riscv-tests
jln-riscv-tests
11m 20s