Skip to content
Extract & Check proofs

Use alt-ergo 2.5 #15

Sign in to view logs

Use alt-ergo 2.5

Use alt-ergo 2.5 #15

Triggered via pull request March 15, 2024 12:08
@vbglvbgl
synchronize #33
vbgl:alt-ergo-2.5
Status Success
Total duration 2h 22m 7s
Artifacts –

extract-and-prove.yml

on: pull_request
Build & Prove
2h 21m
Build & Prove
Fit to window
Zoom out
Zoom in