Skip to content
Formal verification

Prepare for release #169

Sign in to view logs

Prepare for release

Prepare for release #169

Triggered via push October 15, 2025 07:07
@olofkolofk
pushed 7d9cde4
main
Status Success
Total duration 6m 11s
Artifacts –

formal.yml

on: push
Run RISCV-formal verification suite
6m 7s
Run RISCV-formal verification suite
Fit to window
Zoom out
Zoom in