Skip to content
Formal verification

Add iCESugar-nano board #177

Sign in to view logs

Add iCESugar-nano board

Add iCESugar-nano board #177

Triggered via push February 12, 2026 20:00
@olofkolofk
pushed f5ddfaa
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