Changed namespace for marshalling core #1234
pull-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
3m 5s
Linux placeholder testing with gcc
/
Build and test Linux with gcc
15m 31s
Linux placeholder testing with clang
/
Build and test Linux with clang
15m 29s
Check Proof Producer
/
Build prover, generate proofs for circuits
1m 20s
Verify Circuit Proof
/
...
/
verify-proofs
1m 34s
Check Proof Producer
/
...
/
run-tests
Annotations
5 errors
Check Proof Producer / Build prover, generate proofs for circuits
Process completed with exit code 1.
|
Linux placeholder testing with clang / Build and test Linux with clang
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/197/merge' exists
|
Linux placeholder testing with clang / Build and test Linux with clang
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/197/merge' exists
|
Linux placeholder testing with gcc / Build and test Linux with gcc
The operation was canceled.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
proofs
|
477 KB |
|