Skip to content
Ibex OSS Formal CI

[simple_system] UNOPTFLAT Verilator lint waived #105

Sign in to view logs

[simple_system] UNOPTFLAT Verilator lint waived

[simple_system] UNOPTFLAT Verilator lint waived #105

Triggered via pull request February 3, 2026 09:04
@marnovandermaasmarnovandermaas
synchronize #2355
marnovandermaas:simple_system_lint
Status Cancelled
Total duration 19m 58s
Artifacts –

ci-formal.yml

on: pull_request
Run the Open-Source FV flow
19m 56s
Run the Open-Source FV flow
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run the Open-Source FV flow
Canceling since a higher priority waiting request for oss-fv exists