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

Update dependencies Build matrix #16: Commit 4731737 pushed by jprider63
7m 17s feature/riscv-tests
feature/riscv-tests
7m 17s
Update dependencies Check formatting #16: Commit 4731737 pushed by jprider63
41s feature/riscv-tests
feature/riscv-tests
41s
Update dependency to Lean model with axioms removed Check formatting #15: Commit ce235a9 pushed by jprider63
1m 42s feature/riscv-tests
feature/riscv-tests
1m 42s
Update dependency to Lean model with axioms removed Build matrix #15: Commit ce235a9 pushed by jprider63
7m 10s feature/riscv-tests
feature/riscv-tests
7m 10s
Fix pa_OfNat Build matrix #14: Commit c1a6dd2 pushed by jprider63
7m 32s feature/riscv-tests
feature/riscv-tests
7m 32s
Fix pa_OfNat Check formatting #14: Commit c1a6dd2 pushed by jprider63
1m 30s feature/riscv-tests
feature/riscv-tests
1m 30s
Add pa_OfNat to Arch class Build matrix #13: Commit 801d563 pushed by jprider63
7m 20s feature/riscv-tests
feature/riscv-tests
7m 20s
Add pa_OfNat to Arch class Check formatting #13: Commit 801d563 pushed by jprider63
1m 33s feature/riscv-tests
feature/riscv-tests
1m 33s
Initial ELF in memory Check formatting #12: Commit 01c7d9c pushed by jprider63
4m 41s feature/riscv-tests
feature/riscv-tests
4m 41s
Initial ELF in memory Build matrix #12: Commit 01c7d9c pushed by jprider63
8m 48s feature/riscv-tests
feature/riscv-tests
8m 48s
Imports working Check formatting #11: Commit 053d96f pushed by jprider63
1m 8s feature/riscv-tests
feature/riscv-tests
1m 8s
Imports working Build matrix #11: Commit 053d96f pushed by jprider63
7m 21s feature/riscv-tests
feature/riscv-tests
7m 21s
Attempt to add and use RISC-V model as dependency Build matrix #10: Commit 07a9255 pushed by jprider63
7m 9s feature/riscv-tests
feature/riscv-tests
7m 9s
Attempt to add and use RISC-V model as dependency Check formatting #10: Commit 07a9255 pushed by jprider63
39s feature/riscv-tests
feature/riscv-tests
39s
Update ELFSage to patched version Check formatting #9: Commit f6f7a10 pushed by jprider63
1m 37s feature/riscv-tests
feature/riscv-tests
1m 37s
Update ELFSage to patched version Build matrix #9: Commit f6f7a10 pushed by jprider63
7m 26s feature/riscv-tests
feature/riscv-tests
7m 26s
Parse an elf file Check formatting #8: Commit 159ec84 pushed by jprider63
6m 3s feature/riscv-tests
feature/riscv-tests
6m 3s
Parse an elf file Build matrix #8: Commit 159ec84 pushed by jprider63
10m 13s feature/riscv-tests
feature/riscv-tests
10m 13s
Fix toHexUpper so as not to capitalize the 'x' Build matrix #7: Commit f0fdc69 pushed by benjaminselfridge
7m 15s feature/lean_hex_str
feature/lean_hex_str
7m 15s
Fix toHexUpper so as not to capitalize the 'x' Check formatting #7: Commit f0fdc69 pushed by benjaminselfridge
40s feature/lean_hex_str
feature/lean_hex_str
40s
Fix capitalized 0X -> 0x for toHexUpper Check formatting #6: Commit 963fc89 pushed by benjaminselfridge
48s feature/lean_hex_str
feature/lean_hex_str
48s
Fix capitalized 0X -> 0x for toHexUpper Build matrix #6: Commit 963fc89 pushed by benjaminselfridge
7m 18s feature/lean_hex_str
feature/lean_hex_str
7m 18s
Add handling of negative integers for hex_str and hex_str_upper Build matrix #5: Commit 124e78c pushed by benjaminselfridge
7m 13s feature/lean_hex_str
feature/lean_hex_str
7m 13s
Add handling of negative integers for hex_str and hex_str_upper Check formatting #5: Commit 124e78c pushed by benjaminselfridge
50s feature/lean_hex_str
feature/lean_hex_str
50s
Add lean support for hex_str_upper Check formatting #4: Commit d25e49a pushed by benjaminselfridge
6m 30s feature/lean_hex_str
feature/lean_hex_str
6m 30s