Skip to content
Extract & Check proofs

Use alt-ergo 2.5 #14

Sign in to view logs

Use alt-ergo 2.5

Use alt-ergo 2.5 #14

Triggered via pull request March 15, 2024 07:50
@vbglvbgl
synchronize #33
vbgl:alt-ergo-2.5
Status Success
Total duration 2h 17m 8s
Artifacts –

extract-and-prove.yml

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