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

Merge remote-tracking branch 'upstream/sail2' into jln-riscv-tests Check formatting #29: Commit 3c35867 pushed by jn80842
6m 36s jln-riscv-tests
jln-riscv-tests
6m 36s
init regs Build matrix #28: Commit e785dd2 pushed by jn80842
10m 37s jln-riscv-tests
jln-riscv-tests
10m 37s
init regs Check formatting #28: Commit e785dd2 pushed by jn80842
6m 37s jln-riscv-tests
jln-riscv-tests
6m 37s
current state of riscv tests Check formatting #27: Commit f5e8010 pushed by jn80842
5m 38s jln-riscv-tests
jln-riscv-tests
5m 38s
current state of riscv tests Build matrix #27: Commit f5e8010 pushed by jn80842
11m 0s jln-riscv-tests
jln-riscv-tests
11m 0s
update configs for executable lean-riscv model Build matrix #26: Commit 7a02b9d pushed by jn80842
7m 48s feature/riscv-tests-pr
feature/riscv-tests-pr
7m 48s
update configs for executable lean-riscv model Check formatting #26: Commit 7a02b9d pushed by jn80842
1m 45s feature/riscv-tests-pr
feature/riscv-tests-pr
1m 45s
Merge remote-tracking branch 'upstream/sail2' into feature/riscv-test… Check formatting #25: Commit cdc5536 pushed by jn80842
42s feature/riscv-tests-pr
feature/riscv-tests-pr
42s
Merge remote-tracking branch 'upstream/sail2' into feature/riscv-test… Build matrix #25: Commit cdc5536 pushed by jn80842
8m 20s feature/riscv-tests-pr
feature/riscv-tests-pr
8m 20s
point lean emulator at current sail-riscv-lean build Build matrix #24: Commit 201341f pushed by jn80842
8m 18s feature/riscv-tests-pr
feature/riscv-tests-pr
8m 18s
point lean emulator at current sail-riscv-lean build Check formatting #24: Commit 201341f pushed by jn80842
1m 57s feature/riscv-tests-pr
feature/riscv-tests-pr
1m 57s
Update dependencies Check formatting #23: Commit d0d30a0 pushed by jn80842
5m 15s feature/riscv-tests-pr
feature/riscv-tests-pr
5m 15s
Update dependencies Build matrix #23: Commit d0d30a0 pushed by jn80842
11m 37s feature/riscv-tests-pr
feature/riscv-tests-pr
11m 37s
Update dependencies Check formatting #22: Commit d0d30a0 pushed by jprider63
37s feature/riscv-tests
feature/riscv-tests
37s
Update dependencies Build matrix #22: Commit d0d30a0 pushed by jprider63
7m 12s feature/riscv-tests
feature/riscv-tests
7m 12s
Debugging with Lee Build matrix #21: Commit a260bf3 pushed by jprider63
7m 17s feature/riscv-tests
feature/riscv-tests
7m 17s
Debugging with Lee Check formatting #21: Commit a260bf3 pushed by jprider63
36s feature/riscv-tests
feature/riscv-tests
36s
Include more hacks in dependencies Check formatting #20: Commit 4c35c76 pushed by jprider63
42s feature/riscv-tests
feature/riscv-tests
42s
Include more hacks in dependencies Build matrix #20: Commit 4c35c76 pushed by jprider63
7m 24s feature/riscv-tests
feature/riscv-tests
7m 24s
Update dependency to hack PC Build matrix #19: Commit fbc0c31 pushed by jprider63
8m 29s feature/riscv-tests
feature/riscv-tests
8m 29s
Update dependency to hack PC Check formatting #19: Commit fbc0c31 pushed by jprider63
51s feature/riscv-tests
feature/riscv-tests
51s
Don't load sections into memory Check formatting #18: Commit 7a2a2f7 pushed by jprider63
49s feature/riscv-tests
feature/riscv-tests
49s
Don't load sections into memory Build matrix #18: Commit 7a2a2f7 pushed by jprider63
7m 8s feature/riscv-tests
feature/riscv-tests
7m 8s
Update to computable dependencies Check formatting #17: Commit 7dec8d0 pushed by jprider63
5m 13s feature/riscv-tests
feature/riscv-tests
5m 13s
Update to computable dependencies Build matrix #17: Commit 7dec8d0 pushed by jprider63
10m 37s feature/riscv-tests
feature/riscv-tests
10m 37s