Skip to content

Automatic toolchain upgrade to nightly-2026-10-12 (#5002) #14248

Automatic toolchain upgrade to nightly-2026-10-12 (#5002)

Automatic toolchain upgrade to nightly-2026-10-12 (#5002) #14248

Status Success
Total duration 1h 30m 21s
Artifacts –

kani.yml

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

Annotations

17 warnings and 1 notice
regression (macos-14)
Skipping cmake: most recent version 4.4.4 not installed
regression (macos-14)
Skipping cffi: most recent version 2.1.1_1 not installed
regression (macos-14)
Skipping certifi: most recent version 2026.7.22_1 not installed
regression (macos-14)
Skipping cairo: most recent version 1.18.6 not installed
regression (macos-14)
Skipping ca-certificates: most recent version 2026-09-25 not installed
regression (macos-14)
Skipping azure/bicep/bicep: most recent version 0.48.1 not installed
regression (macos-14)
Skipping aws-sam-cli: most recent version 1.168.0 not installed
regression (macos-14)
Skipping aria2: most recent version 1.37.0_3 not installed
regression (macos-14)
Skipping ant: most recent version 1.10.18 not installed
regression (macos-14)
Treating azure-cli as a formula. For the cask, use homebrew/cask/azure-cli or specify the `--cask` flag. To silence this message, use the `--formula` flag.
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
regression (macos-14)
Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.