Skip to content
Ibex CI

Introduce an OSS Formal Flow #466

Sign in to view logs

Introduce an OSS Formal Flow

Introduce an OSS Formal Flow #466

Triggered via pull request September 19, 2025 14:34
@mndstrmrmndstrmr
synchronize #2309
oss-formal
Status Success
Total duration 11m 34s
Artifacts –

ci.yml

on: pull_request
Run quality checks (Lint and DV)
11m 30s
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