Fix grouped lookups in circuit builder. #1500
martunpull-request.yml
on: pull_request
Check Proof Producer
/
Prepare targets strings
0s
Check Proof Producer
/
Get zkLLVM run to use artifacts from
5s
Verify Circuit Proof
/
Produce and verify proofs
2m 37s
Gcc release full Linux testing
/
Build and test Linux with gcc
3m 6s
Clang release full Linux testing
/
Build and test Linux with clang
3m 9s
Check Proof Producer
/
Build prover, generate proofs for circuits
2m 30s
Verify Circuit Proof
/
...
/
verify-proofs
24s
Check Proof Producer
/
...
/
run-tests
Annotations
8 errors
|
Verify Circuit Proof / Verify proofs / verify-proofs
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/250/merge' exists
|
|
Verify Circuit Proof / Verify proofs / verify-proofs
The operation was canceled.
|
|
Clang release full Linux testing / Build and test Linux with clang
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/250/merge' exists
|
|
Check Proof Producer / Build prover, generate proofs for circuits
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/250/merge' exists
|
|
Clang release full Linux testing / Build and test Linux with clang
The operation was canceled.
|
|
Check Proof Producer / Build prover, generate proofs for circuits
The operation was canceled.
|
|
Gcc release full Linux testing / Build and test Linux with gcc
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/250/merge' exists
|
|
Gcc release full Linux testing / Build and test Linux with gcc
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
proofs
|
477 KB |
|