Skip to content

Actions: opencompl/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: join2 uses big endian Build matrix #51: Commit 3132137 pushed by tobiasgrosser
March 8, 2025 05:51 7m 17s bv_literal
bv_literal
March 8, 2025 05:51 7m 17s
Lean: join2 uses big endian Check formatting #60: Commit 3132137 pushed by tobiasgrosser
March 8, 2025 05:51 5m 5s bv_literal
bv_literal
March 8, 2025 05:51 5m 5s
Remove the --abstract-types feature gate flag Build matrix #50: Commit c622c29 pushed by tobiasgrosser
March 8, 2025 05:50 7m 19s bv_literal
bv_literal
March 8, 2025 05:50 7m 19s
Remove the --abstract-types feature gate flag Check formatting #59: Commit c622c29 pushed by tobiasgrosser
March 8, 2025 05:50 5m 6s bv_literal
bv_literal
March 8, 2025 05:50 5m 6s
Lean: add annotations to test[cheri128_hsb|poly_pair|large_bitvector] Check formatting #58: Commit 1944aa8 pushed by tobiasgrosser
March 8, 2025 05:33 38s cheri128_hsb
cheri128_hsb
March 8, 2025 05:33 38s
Lean: add annotations to test[cheri128_hsb|poly_pair|large_bitvector] Build matrix #49: Commit 1944aa8 pushed by tobiasgrosser
March 8, 2025 05:33 7m 10s cheri128_hsb
cheri128_hsb
March 8, 2025 05:33 7m 10s
Lean: add annotations to test[cheri128_hsb|poly_pair] Check formatting #57: Commit 798a37f pushed by tobiasgrosser
March 8, 2025 04:37 32s cheri128_hsb
cheri128_hsb
March 8, 2025 04:37 32s
Lean: add annotations to test[cheri128_hsb|poly_pair] Build matrix #48: Commit 798a37f pushed by tobiasgrosser
March 8, 2025 04:37 6m 58s cheri128_hsb
cheri128_hsb
March 8, 2025 04:37 6m 58s
Lean: add annotations to test[cheri128_hsb|poly_pair] Build matrix #47: Commit 8e85155 pushed by tobiasgrosser
March 8, 2025 04:29 7m 1s cheri128_hsb
cheri128_hsb
March 8, 2025 04:29 7m 1s
Lean: add annotations to test[cheri128_hsb|poly_pair] Check formatting #56: Commit 8e85155 pushed by tobiasgrosser
March 8, 2025 04:29 49s cheri128_hsb
cheri128_hsb
March 8, 2025 04:29 49s
Lean: add annotations to test[cheri128_hsb|enum_match|poly_pair] Check formatting #55: Commit e9cabb8 pushed by tobiasgrosser
March 8, 2025 04:28 47s cheri128_hsb
cheri128_hsb
March 8, 2025 04:28 47s
Lean: add annotations to test[cheri128_hsb|enum_match|poly_pair] Build matrix #46: Commit e9cabb8 pushed by tobiasgrosser
March 8, 2025 04:28 7m 26s cheri128_hsb
cheri128_hsb
March 8, 2025 04:28 7m 26s
Lean: add missing annotations to cheri128_hsb. Build matrix #45: Commit a56276f pushed by tobiasgrosser
March 8, 2025 04:05 7m 0s cheri128_hsb
cheri128_hsb
March 8, 2025 04:05 7m 0s
Lean: add missing annotations to cheri128_hsb. Check formatting #54: Commit a56276f pushed by tobiasgrosser
March 8, 2025 04:05 5m 10s cheri128_hsb
cheri128_hsb
March 8, 2025 04:05 5m 10s
Upload test coverage Upload test coverage #18: completed by tobiasgrosser
March 2, 2025 12:49 4m 26s
March 2, 2025 12:49 4m 26s
Publish test results Publish test results #18: completed by tobiasgrosser
March 2, 2025 12:49 21s
March 2, 2025 12:49 21s
Lean build riscv full Check formatting #53: Pull request #2 synchronize by tobiasgrosser
March 2, 2025 12:31 2m 5s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 12:31 2m 5s
Lean build riscv full Test matrix #24: Pull request #2 synchronize by tobiasgrosser
March 2, 2025 12:31 18m 4s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 12:31 18m 4s
Give the PR number Build RISCV For Lean #34: Commit a969058 pushed by tobiasgrosser
March 2, 2025 12:31 13m 55s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 12:31 13m 55s
Give the PR number Check formatting #52: Commit a969058 pushed by tobiasgrosser
March 2, 2025 12:31 42s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 12:31 42s
Give the PR number Build matrix #44: Commit a969058 pushed by tobiasgrosser
March 2, 2025 12:31 7m 21s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 12:31 7m 21s
Upload test coverage Upload test coverage #17: completed by tobiasgrosser
March 2, 2025 12:04 3m 24s
March 2, 2025 12:04 3m 24s
Publish test results Publish test results #17: completed by tobiasgrosser
March 2, 2025 12:04 22s
March 2, 2025 12:04 22s
Upload test coverage Upload test coverage #16: completed by tobiasgrosser
March 2, 2025 12:03 3m 19s
March 2, 2025 12:03 3m 19s
Publish test results Publish test results #16: completed by tobiasgrosser
March 2, 2025 12:03 22s
March 2, 2025 12:03 22s