multiprecision: ignore buggy -Waggressive-loop-optimizations in subtraction #1992
Triggered via pull request
February 17, 2025 12:24
Status
Cancelled
Total duration
2m 25s
Artifacts
–
pull-request.yml
on: pull_request
Verify Circuit Proof
/
Produce and verify proofs
2m 11s
Gcc release full Linux testing
/
Build and test Linux with gcc
2m 12s
Clang release full Linux testing
/
Build and test Linux with clang
2m 12s
Verify Proof
/
Verify proofs by means of proof-producer
2m 11s
Build and upload deb package
/
Build proof-producer deb package
2m 12s
Verify Circuit Proof
/
...
/
verify-proofs
Annotations
10 errors
Build and upload deb package / Build proof-producer deb package
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/334/merge' exists
|
Build and upload deb package / Build proof-producer deb package
The operation was canceled.
|
Verify Proof / Verify proofs by means of proof-producer
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/334/merge' exists
|
Verify Proof / Verify proofs by means of proof-producer
The operation was canceled.
|
Verify Circuit Proof / Produce and verify proofs
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/334/merge' exists
|
Verify Circuit Proof / Produce and verify proofs
The operation was canceled.
|
Clang release full Linux testing / Build and test Linux with clang
Canceling since a higher priority waiting request for 'PR Testing/refs/pull/334/merge' exists
|
Clang release full Linux testing / Build and test Linux with clang
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/334/merge' exists
|
Gcc release full Linux testing / Build and test Linux with gcc
The operation was canceled.
|