Extract & Check proofs

Fix proofs w.r.t. EC dev #66

Sign in to view logs

Triggered via pull request July 21, 2024 08:07

strub

opened #45

fix-proofs

Status Success

Total duration 2h 20m 6s

Artifacts –

extract-and-prove.yml

on: pull_request