Skip to content
Formal verification

Update cad-suite GH action #136

Sign in to view logs

Update cad-suite GH action

Update cad-suite GH action #136

Re-run triggered November 11, 2024 07:27
@olofkolofk
4e0033b
formalci
Status Success
Total duration 5m 8s
Artifacts –

formal.yml

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