precompile some headers #1151
Triggered via pull request
December 10, 2024 06:30
Status
Cancelled
Total duration
5m 27s
Artifacts
–
pull-request.yml
on: pull_request
Check Proof Producer
/
Prepare targets strings
0s
Check Proof Producer
/
Get zkLLVM run to use artifacts from
8s
Verify Circuit Proof
/
Produce and verify proofs
4m 7s
Linux placeholder testing with gcc
/
Build and test Linux with gcc
4m 38s
Linux placeholder testing with clang
/
Build and test Linux with clang
4m 49s
Check Proof Producer
/
Build prover, generate proofs for circuits
4m 16s
Verify Circuit Proof
/
...
/
verify-proofs
Check Proof Producer
/
...
/
run-tests
Annotations
8 errors
Verify Circuit Proof / Produce and verify proofs
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/164/merge' exists
|
Verify Circuit Proof / Produce and verify proofs
The operation was canceled.
|
Linux placeholder testing with gcc / Build and test Linux with gcc
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/164/merge' exists
|
Linux placeholder testing with gcc / Build and test Linux with gcc
The operation was canceled.
|
Linux placeholder testing with clang / Build and test Linux with clang
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/164/merge' exists
|
Linux placeholder testing with clang / Build and test Linux with clang
The operation was canceled.
|
Check Proof Producer / Build prover, generate proofs for circuits
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/164/merge' exists
|
Check Proof Producer / Build prover, generate proofs for circuits
The operation was canceled.
|