Extract & Check proofs

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

Sign in to view logs

Triggered via pull request July 21, 2024 11:19

strub

synchronize #45

fix-proofs

Status Success

Total duration 2h 25m 2s

Artifacts –

extract-and-prove.yml

on: pull_request