Skip to content
This repository has been archived by the owner on Feb 17, 2025. It is now read-only.
Build and Test

Separate preprocessing from proving and verification by adding a parameter --stage to proof producer #361

Sign in to view logs

Separate preprocessing from proving and verification by adding a parameter --stage to proof producer

Separate preprocessing from proving and verification by adding a parameter --stage to proof producer #361

Triggered via pull request September 12, 2024 07:27
@martunmartun
synchronize #97
96-separate-preprocessing-from-proving-and-verification-by-adding-a-parameter-stage-to-proof-producer
Status Failure
Total duration 4m 23s
Artifacts –

pull_request.yml

on: pull_request
Call Reusable SyncWith Handler  /  Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
2s
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
Prepare targets strings
0s
Prepare targets strings
Get zkLLVM run to use artifacts from
5s
Get zkLLVM run to use artifacts from
Build prover, generate proofs for circuits
3m 50s
Build prover, generate proofs for circuits
Verify proof-producer proofs with EVM-placeholder  /  run-tests
Verify proof-producer proofs with EVM-placeholder / run-tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build prover, generate proofs for circuits
Process completed with exit code 1.