Extract & Check proofs

Use latest Jasmin release (2023.06.3) #37

Sign in to view logs

Triggered via push April 19, 2024 11:50

vbgl

master

Status Success

Total duration 2h 16m 28s

Artifacts –

extract-and-prove.yml

on: push