precompile some headers #1163
AndreyMlashkinpull-request.yml
on: pull_request
Check Proof Producer
/
Prepare targets strings
0s
Check Proof Producer
/
Get zkLLVM run to use artifacts from
6s
Verify Circuit Proof
/
Produce and verify proofs
32s
Linux placeholder testing with gcc
/
Build and test Linux with gcc
24s
Linux placeholder testing with clang
/
Build and test Linux with clang
26s
Check Proof Producer
/
Build prover, generate proofs for circuits
19s
Verify Circuit Proof
/
...
/
verify-proofs
Check Proof Producer
/
...
/
run-tests
Annotations
4 errors
|
Verify Circuit Proof / Produce and verify proofs
Process completed with exit code 1.
|
|
Linux placeholder testing with clang / Build and test Linux with clang
Process completed with exit code 1.
|
|
Linux placeholder testing with gcc / Build and test Linux with gcc
Process completed with exit code 1.
|
|
Check Proof Producer / Build prover, generate proofs for circuits
Process completed with exit code 1.
|