Nightly: CBMC Latest #570
Triggered via schedule
February 14, 2025 09:19
tautschnig
Status
Failure
Total duration
1d 7h 48m 17s
Artifacts
–
Annotations
2 errors and 2 warnings
|
perf
Process completed with exit code 1.
|
|
regression (macos-12)
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
perf
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
regression (ubuntu-20.04)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|