Skip to content
Ibex Private CI

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

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 #298

Triggered via pull request April 26, 2025 18:34
@nbdd0121nbdd0121
synchronize #2245
Status Success
Total duration 9s
Artifacts –

private-ci.yml

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