Skip to content
Extract & Check proofs

Update jasmin #76

Sign in to view logs

Update jasmin

Update jasmin #76

Triggered via pull request July 21, 2024 19:49
@strubstrub
synchronize #46
update-jasmin
Status Cancelled
Total duration 3m 23s
Artifacts –

extract-and-prove.yml

on: pull_request
Build & Prove
3m 16s
Build & Prove
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build & Prove
The run was canceled by @strub.
Build & Prove
The operation was canceled.