Skip to content
Extract & Check proofs

Update jasmin #74

Sign in to view logs

Update jasmin

Update jasmin #74

Triggered via pull request July 21, 2024 16:34
@strubstrub
synchronize #46
update-jasmin
Status Success
Total duration 2h 26m 14s
Artifacts –

extract-and-prove.yml

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