Use a null pointer for zero-sized slice targets of modifies clauses (… #14088
github-merge-queue[bot]kani.yml
on: push
benchcomp-tests
3m 48s
perf
45m 17s
llbc-regression
5m 21s
documentation
1m 9s
Matrix: regression
Annotations
2 errors, 10 warnings, and 1 notice
|
regression (macos-14)
The `brew link` step did not complete successfully
|
|
regression (macos-15-intel)
The `brew link` step did not complete successfully
|
|
regression (macos-14)
You are using macOS 14.
We (and Apple) do not provide support for this old version.
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)
You are using macOS 14.
We (and Apple) do not provide support for this old version.
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)
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.8
|
|
regression (macos-14)
Cannot verify integrity of '6becb174fbb02dda1f484d011bb8ee77ba3abb95ac21c49dd1b72c2f86eef9ac--3.13-sysconfig.diff'.
No checksum was provided.
For your reference, the checksum is:
sha256 "9f2eae1d08720b06ac3d9ef1999c09388b9db39dfb52687fc261ff820bff20c3"
|
|
regression (macos-14)
You are using macOS 14.
We (and Apple) do not provide support for this old version.
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)
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.14/3.14.8
|
|
regression (macos-15-intel)
Cannot verify integrity of '6becb174fbb02dda1f484d011bb8ee77ba3abb95ac21c49dd1b72c2f86eef9ac--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.
|