multiprecision: ignore buggy -Waggressive-loop-optimizations in subtraction #1993
pull-request.yml
on: pull_request
Verify Circuit Proof
/
Produce and verify proofs
2m 52s
Gcc release full Linux testing
/
Build and test Linux with gcc
49m 25s
Clang release full Linux testing
/
Build and test Linux with clang
40m 0s
Verify Proof
/
Verify proofs by means of proof-producer
16m 7s
Build and upload deb package
/
Build proof-producer deb package
7m 36s
Verify Circuit Proof
/
...
/
verify-proofs
1m 20s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
proofs
|
477 KB |
|