Skip to content
Formal verification

Remove duplicate tools entry in servant.core #142

Sign in to view logs

Remove duplicate tools entry in servant.core

Remove duplicate tools entry in servant.core #142

Triggered via push January 29, 2025 21:27
@olofkolofk
pushed 01e74ef
main
Status Success
Total duration 5m 22s
Artifacts –

formal.yml

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