Skip to content
Extract & Check proofs

Update jasmin #72

Sign in to view logs

Update jasmin

Update jasmin #72

Triggered via pull request July 21, 2024 16:33
@strubstrub
opened #46
update-jasmin
Status Success
Total duration 2h 22m 49s
Artifacts –

extract-and-prove.yml

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