Skip to content

Nightly: CBMC Latest #1382

Nightly: CBMC Latest

Nightly: CBMC Latest #1382

Triggered via schedule October 14, 2026 09:03
Status Success
Total duration 3h 8m 49s
Artifacts –

cbmc-latest.yml

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

Annotations

7 warnings
regression (macos-15-intel)
You are using macOS on Intel x86_64. We do not provide support for this platform (as-of September 2026, announced August 2025). Apple have dropped Intel x86_64 support in macOS Golden Gate (27). GitHub Actions are dropping macOS Intel x86_64 runners in 2027. Homebrew is a non-profit project run entirely by volunteers, not employees. If the biggest companies in the world cannot support macOS Intel x86_64 any longer, sadly neither can we. Homebrew no longer builds bottles for this configuration. Consider MacPorts, which provides binary packages for this macOS version: https://www.macports.org
regression (macos-15-intel)
You are using macOS on Intel x86_64. We do not provide support for this platform (as-of September 2026, announced August 2025). Apple have dropped Intel x86_64 support in macOS Golden Gate (27). GitHub Actions are dropping macOS Intel x86_64 runners in 2027. Homebrew is a non-profit project run entirely by volunteers, not employees. If the biggest companies in the world cannot support macOS Intel x86_64 any longer, sadly neither can we. Homebrew no longer builds bottles for this configuration. Consider MacPorts, which provides binary packages for this macOS version: https://www.macports.org
regression (macos-15-intel)
Already linked: /usr/local/Cellar/python@3.15/3.15.0
regression (macos-15-intel)
These files were overwritten during the `brew link` step:
regression (macos-15-intel)
These files were overwritten during the `brew link` step:
regression (macos-15-intel)
Cannot verify integrity of '4006448f652250f04b899c32ffa578d57ed5d643f6397d8a8b6301ae461f1b71--3.13-sysconfig.diff'. No checksum was provided. For your reference, the checksum is: sha256 "9f2eae1d08720b06ac3d9ef1999c09388b9db39dfb52687fc261ff820bff20c3"
regression (macos-15-intel)
You are using macOS on Intel x86_64. We do not provide support for this platform (as-of September 2026, announced August 2025). Apple have dropped Intel x86_64 support in macOS Golden Gate (27). GitHub Actions are dropping macOS Intel x86_64 runners in 2027. Homebrew is a non-profit project run entirely by volunteers, not employees. If the biggest companies in the world cannot support macOS Intel x86_64 any longer, sadly neither can we. Homebrew no longer builds bottles for this configuration. Consider MacPorts, which provides binary packages for this macOS version: https://www.macports.org