Use alt-ergo 2.5 #13
Triggered via pull request
March 14, 2024 11:44
vbgl
Status
Success
Total duration
2h 23m 46s
Artifacts
–
extract-and-prove.yml
on: pull_request
Build & Prove
2h 23m