Introduce an OSS Formal Flow #464
Triggered via pull request
September 19, 2025 11:07
mndstrmr
Status
Success
Total duration
11m 11s
Artifacts
–
ci.yml
on: pull_request
Run quality checks (Lint and DV)
11m 6s
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
|