Skip to content
Verification tests

Initial formal verification results #325

Sign in to view logs

Initial formal verification results

Initial formal verification results #325

Triggered via pull request July 12, 2024 14:01
@lgaeherlgaeher
opened #69
lgaeher:ci/lennard/verification
Status Success
Total duration 41m 31s
Artifacts –

verify.yml

on: pull_request
Verify
41m 20s
Verify
Fit to window
Zoom out
Zoom in