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 build riscv full Check formatting #51: Pull request #2 synchronize by tobiasgrosser
March 2, 2025 11:47 5m 14s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:47 5m 14s
Lean build riscv full Test matrix #23: Pull request #2 synchronize by tobiasgrosser
March 2, 2025 11:47 16m 59s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:47 16m 59s
Remove test Check formatting #50: Commit 288f598 pushed by tobiasgrosser
March 2, 2025 11:47 52s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:47 52s
Remove test Build matrix #43: Commit 288f598 pushed by tobiasgrosser
March 2, 2025 11:47 7m 48s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:47 7m 48s
Remove test Build RISCV For Lean #33: Commit 288f598 pushed by tobiasgrosser
March 2, 2025 11:47 13m 32s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:47 13m 32s
Lean build riscv full Test matrix #22: Pull request #2 opened by tobiasgrosser
March 2, 2025 11:46 17m 33s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:46 17m 33s
Lean build riscv full Check formatting #49: Pull request #2 opened by tobiasgrosser
March 2, 2025 11:46 6m 0s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:46 6m 0s
Add comment Build matrix #42: Commit af2a7de pushed by tobiasgrosser
March 2, 2025 11:02 7m 7s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:02 7m 7s
Add comment Check formatting #48: Commit af2a7de pushed by tobiasgrosser
March 2, 2025 11:02 46s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:02 46s
Add comment Build RISCV For Lean #32: Commit af2a7de pushed by tobiasgrosser
March 2, 2025 11:02 13m 48s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 11:02 13m 48s
WIP Build RISCV For Lean #31: Commit 238095f pushed by tobiasgrosser
March 2, 2025 10:58 13m 59s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 10:58 13m 59s
WIP Build matrix #41: Commit 238095f pushed by tobiasgrosser
March 2, 2025 10:58 7m 5s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 10:58 7m 5s
WIP Check formatting #47: Commit 238095f pushed by tobiasgrosser
March 2, 2025 10:58 39s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 10:58 39s
debug Check formatting #46: Commit 0430c4f pushed by tobiasgrosser
March 2, 2025 10:36 36s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 10:36 36s
debug Build RISCV For Lean #30: Commit 0430c4f pushed by tobiasgrosser
March 2, 2025 10:36 13m 58s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 10:36 13m 58s
debug Build matrix #40: Commit 0430c4f pushed by tobiasgrosser
March 2, 2025 10:36 7m 12s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 10:36 7m 12s
debug Check formatting #45: Commit fb8ac23 pushed by tobiasgrosser
March 2, 2025 09:34 1m 24s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:34 1m 24s
debug Build RISCV For Lean #29: Commit fb8ac23 pushed by tobiasgrosser
March 2, 2025 09:34 13m 38s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:34 13m 38s
debug Build matrix #39: Commit fb8ac23 pushed by tobiasgrosser
March 2, 2025 09:34 7m 7s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:34 7m 7s
Add debug II Check formatting #44: Commit 0d122fe pushed by tobiasgrosser
March 2, 2025 09:07 37s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:07 37s
Add debug II Build RISCV For Lean #28: Commit 0d122fe pushed by tobiasgrosser
March 2, 2025 09:07 13m 21s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:07 13m 21s
Add debug II Build matrix #38: Commit 0d122fe pushed by tobiasgrosser
March 2, 2025 09:07 7m 2s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:07 7m 2s
Add debug II Check formatting #43: Commit 4b99e17 pushed by tobiasgrosser
March 2, 2025 09:04 1m 48s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:04 1m 48s
Add debug II Build matrix #37: Commit 4b99e17 pushed by tobiasgrosser
March 2, 2025 09:04 7m 10s lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:04 7m 10s
Add debug II Build RISCV For Lean #27: Commit 4b99e17 pushed by tobiasgrosser
March 2, 2025 09:04 Failure lean-build-riscv-full
lean-build-riscv-full
March 2, 2025 09:04 Failure