Skip to content
Extract & Check proofs

create individual proof targets #56

Sign in to view logs

create individual proof targets

create individual proof targets #56

Triggered via pull request July 20, 2024 15:20
@fdupressfdupress
opened #43
split-proof-targets
Status Success
Total duration 2h 28m 38s
Artifacts –

extract-and-prove.yml

on: pull_request
Build & Prove
2h 28m
Build & Prove
Fit to window
Zoom out
Zoom in