308 implement basic logup algorithm #1999
martunpull-request.yml
on: pull_request
Verify Circuit Proof
/
Produce and verify proofs
3m 1s
Gcc release full Linux testing
/
Build and test Linux with gcc
36m 3s
Clang release full Linux testing
/
Build and test Linux with clang
26m 43s
Verify Proof
/
Verify proofs by means of proof-producer
36m 3s
Build and upload deb package
/
Build proof-producer deb package
8m 2s
Verify Circuit Proof
/
...
/
verify-proofs
1m 33s
Annotations
6 errors
|
Verify Circuit Proof / Verify proofs / verify-proofs
Process completed with exit code 1.
|
|
Clang release full Linux testing / Build and test Linux with clang
Process completed with exit code 1.
|
|
Verify Proof / Verify proofs by means of proof-producer
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/327/merge' exists
|
|
Verify Proof / Verify proofs by means of proof-producer
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/327/merge' exists
|
|
Gcc release full Linux testing / Build and test Linux with gcc
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
proofs
|
458 KB |
|