Skip to content

Nightly: CBMC Latest #509

Nightly: CBMC Latest

Nightly: CBMC Latest #509

Triggered via schedule December 15, 2024 09:18
Status Failure
Total duration 33m 21s
Artifacts

cbmc-latest.yml

on: schedule
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

3 errors
regression (macos-12)
The macOS-12 environment is deprecated, consider switching to macOS-13, macOS-14 (macos-latest) or macOS-15. For more details, see https://github.com/actions/runner-images/issues/10721
regression (macos-12)
GitHub Actions has encountered an internal error when running your job.
perf
Process completed with exit code 1.