Skip to content
Extract & Check proofs

Update jasmin #80

Sign in to view logs

Update jasmin

Update jasmin #80

Triggered via pull request July 22, 2024 08:48
@strubstrub
synchronize #46
update-jasmin
Status Success
Total duration 2h 21m 1s
Artifacts –

extract-and-prove.yml

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