Implement verify proof #1938
pull-request.yml
on: pull_request
Verify Circuit Proof
/
Produce and verify proofs
2m 16s
Gcc release full Linux testing
/
Build and test Linux with gcc
39s
Clang release full Linux testing
/
Build and test Linux with clang
1m 1s
Verify Proof
/
Verify proofs by means of proof-producer
0s
Build and upload deb package
/
Build proof-producer deb package
18s
Verify Circuit Proof
/
...
/
verify-proofs
1m 24s
Annotations
2 errors
Verify Proof / Verify proofs by means of proof-producer
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/328/merge' exists
|
Verify Proof / Verify proofs by means of proof-producer
The self-hosted runner: nil-githhub-actions_i-0a1bb2f42dad207bd lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
proofs
|
477 KB |
|