Skip to content
Ibex Private CI

End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model #292

Sign in to view logs

End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model

End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model #292

Triggered via pull request April 25, 2025 13:26
@nbdd0121nbdd0121
synchronize #2245
Status Success
Total duration 12s
Artifacts –

private-ci.yml

on: pull_request_target
Trigger Private CI
0s
Trigger Private CI
Fit to window
Zoom out
Zoom in