Nightly: CBMC Latest #782
remi-delmas-3000Annotations
4 errors and 1 notice
|
regression (macos-13)
The macOS-13 based runner images are now retired. For more details, see https://github.com/actions/runner-images/issues/13046.
|
|
regression (ubuntu-22.04)
Process completed with exit code 1.
|
|
regression (ubuntu-24.04)
The strategy configuration was canceled because "regression.ubuntu-22_04" failed
|
|
regression (ubuntu-24.04)
The operation was canceled.
|
|
regression (macos-13)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046
|