Skip to content

Actions: rems-project/sail

Actions

.github/workflows/build-riscv-lean.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: Make the RISC-V Sail model build .github/workflows/build-riscv-lean.yml #5: Pull request #1012 by tobiasgrosser
February 19, 2025 12:44 Failure opencompl:lean-build-riscv-full
opencompl:lean-build-riscv-full
February 19, 2025 12:44 Failure
Lean: Make the RISC-V Sail model build .github/workflows/build-riscv-lean.yml #4: Pull request #1012 by tobiasgrosser
February 19, 2025 12:43 Failure opencompl:lean-build-riscv-full
opencompl:lean-build-riscv-full
February 19, 2025 12:43 Failure
Lean: Make the RISC-V Sail model build .github/workflows/build-riscv-lean.yml #3: Pull request #1012 by tobiasgrosser
February 19, 2025 12:39 Failure opencompl:lean-build-riscv-full
opencompl:lean-build-riscv-full
February 19, 2025 12:39 Failure
Lean: Make the RISC-V Sail model build .github/workflows/build-riscv-lean.yml #2: Pull request #1012 by tobiasgrosser
February 19, 2025 05:02 Failure opencompl:lean-build-riscv-full
opencompl:lean-build-riscv-full
February 19, 2025 05:02 Failure
Lean: Make the RISC-V Sail model build .github/workflows/build-riscv-lean.yml #1: Pull request #1012 by tobiasgrosser
February 19, 2025 04:54 Failure opencompl:lean-build-riscv-full
opencompl:lean-build-riscv-full
February 19, 2025 04:54 Failure