Skip to content
Ibex CI

Formal cleanup #284

Sign in to view logs

Formal cleanup

Formal cleanup #284

Triggered via pull request January 27, 2025 12:31
@marnovandermaasmarnovandermaas
synchronize #2245
marnovandermaas:formal_cleanup
Status Success
Total duration 11m 39s
Artifacts –

ci.yml

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

Annotations

10 errors
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.