Skip to content
Ibex CI

Introduce an OSS Formal Flow #459

Sign in to view logs

Introduce an OSS Formal Flow

Introduce an OSS Formal Flow #459

Triggered via pull request September 18, 2025 08:20
@mndstrmrmndstrmr
synchronize #2309
oss-formal
Status Success
Total duration 10m 52s
Artifacts –

ci.yml

on: pull_request
Run quality checks (Lint and DV)
10m 48s
Run quality checks (Lint and DV)
Fit to window
Zoom out
Zoom in

Annotations

12 errors
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i
Run quality checks (Lint and DV)
Expected failure for rv32i, see lowrisc/ibex#100 more more information.
Run quality checks (Lint and DV)
The RISC-V compliance test suite failed for rv32i