Skip to content
Ibex CI

Formal cleanup #276

Sign in to view logs

Formal cleanup

Formal cleanup #276

Triggered via pull request January 13, 2025 16:55
@marnovandermaasmarnovandermaas
synchronize #2245
marnovandermaas:formal_cleanup
Status Success
Total duration 11m 6s
Artifacts –

ci.yml

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