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