Extract & Check proofs

submodule: update jasmin #75

Sign in to view logs

Triggered via push July 21, 2024 19:49

strub

update-jasmin

Status Cancelled

Total duration 3m 16s

Artifacts –

extract-and-prove.yml

on: push

Annotations

2 errors

Build & Prove

The run was canceled by @strub.

Build & Prove

The operation was canceled.