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