Gate optimizer (Not working) #724
pull-request.yml
on: pull_request
Check Proof Producer
/
Prepare targets strings
0s
Check Proof Producer
/
Get zkLLVM run to use artifacts from
9s
Verify Circuit Proof
/
Produce and verify proofs
3m 16s
Linux placeholder testing with gcc
/
Build and test Linux with gcc
5m 20s
Linux placeholder testing with clang
/
Build and test Linux with clang
5m 6s
Check Proof Producer
/
Build prover, generate proofs for circuits
6m 24s
Verify Circuit Proof
/
...
/
verify-proofs
1m 13s
Check Proof Producer
/
...
/
run-tests
1m 48s
Annotations
3 errors and 5 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
proofs
|
477 KB |
|
transpiler-output-merged-proofs
|
4.49 MB |
|