Skip to content
Verification tests

Initial formal verification results #328

Sign in to view logs

Initial formal verification results

Initial formal verification results #328

Re-run triggered July 17, 2024 07:51
@lgaeherlgaeher
#69
lgaeher:ci/lennard/verification
Status Success
Total duration 59m 12s
Artifacts –

verify.yml

on: pull_request
Verify
59m 0s
Verify
Fit to window
Zoom out
Zoom in