Skip to content
Extract & Check proofs

create individual proof targets #55

Sign in to view logs

create individual proof targets

create individual proof targets #55

Triggered via push July 20, 2024 15:18
@fdupressfdupress
pushed b8e77e9
split-proof-targets
Status Success
Total duration 2h 31m 28s
Artifacts –

extract-and-prove.yml

on: push
Build & Prove
2h 31m
Build & Prove
Fit to window
Zoom out
Zoom in