Extract & Check proofs

submodule: update jasmin #71

Sign in to view logs

Triggered via push July 21, 2024 16:32

strub

update-jasmin

Status Success

Total duration 2h 23m 18s

Artifacts –

extract-and-prove.yml

on: push