fixup #8538 -- correct rounding modes for floor, trunc
#1193
Triggered via pull request
February 20, 2025 14:43
kroening
Status
Failure
Total duration
17m 28s
Artifacts
–
performance.yaml
on: pull_request
perf-benchcomp
15m 3s
Annotations
1 error and 1 warning
|
perf-benchcomp
Process completed with exit code 1.
|
|
perf-benchcomp
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|