fix unfairness on proof size check estimation #3871
Triggered via pull request
October 3, 2024 12:40
RomarQ
Status
Failure
Total duration
1h 16m 54s
Artifacts
–
Annotations
1 error
|
build-and-coverage
Process completed with exit code 100.
|