Skip to content

Use a null pointer for zero-sized slice targets of modifies clauses (… #7121

Use a null pointer for zero-sized slice targets of modifies clauses (…

Use a null pointer for zero-sized slice targets of modifies clauses (… #7121

Triggered via push October 1, 2026 21:28
Status Success
Total duration 4h 41m 49s
Artifacts 8

release.yml

on: push
BuildBundle-MacOs-x86_64
28m 21s
BuildBundle-MacOs-x86_64
BuildBundle-MacOs-aarch64
16m 35s
BuildBundle-MacOs-aarch64
BuildBundle-Linux-x86_64
6m 9s
BuildBundle-Linux-x86_64
BuildBundle-Linux-aarch64
12m 18s
BuildBundle-Linux-aarch64
Matrix: TestBundle
Matrix: TestLocalToolchain
Release
Release
Package Docker
Package Docker
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 14 warnings, and 3 notices
BuildBundle-MacOs-aarch64
The `brew link` step did not complete successfully
BuildBundle-MacOs-x86_64
The `brew link` step did not complete successfully
BuildBundle-Linux-x86_64
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
BuildBundle-Linux-aarch64
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
BuildBundle-MacOs-aarch64
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
BuildBundle-MacOs-aarch64
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
BuildBundle-MacOs-aarch64
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
BuildBundle-MacOs-aarch64
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.8
BuildBundle-MacOs-aarch64
Cannot verify integrity of '6becb174fbb02dda1f484d011bb8ee77ba3abb95ac21c49dd1b72c2f86eef9ac--3.13-sysconfig.diff'. No checksum was provided. For your reference, the checksum is: sha256 "9f2eae1d08720b06ac3d9ef1999c09388b9db39dfb52687fc261ff820bff20c3"
BuildBundle-MacOs-aarch64
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
BuildBundle-MacOs-x86_64
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
BuildBundle-MacOs-x86_64
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
BuildBundle-MacOs-x86_64
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
BuildBundle-MacOs-x86_64
Already linked: /usr/local/Cellar/python@3.14/3.14.8
BuildBundle-MacOs-x86_64
Cannot verify integrity of '6becb174fbb02dda1f484d011bb8ee77ba3abb95ac21c49dd1b72c2f86eef9ac--3.13-sysconfig.diff'. No checksum was provided. For your reference, the checksum is: sha256 "9f2eae1d08720b06ac3d9ef1999c09388b9db39dfb52687fc261ff820bff20c3"
BuildBundle-MacOs-x86_64
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
BuildBundle-MacOs-aarch64
Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.
TestLocalToolchain (macos-14)
Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.
TestBundle (macos-14)
Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.

Artifacts

Produced during runtime
Name Size Digest
aarch64-apple-darwin-kani-verifier.crate
32.2 KB
sha256:ffd56a495711d84a5e6ca8048b4892a2891b55a8edaedec3c1c30e70bfeab906
aarch64-unknown-linux-gnu-kani-verifier.crate
32.2 KB
sha256:b45f9d3aa03774954920058f6beab88eb9f7b0b27e6c50f47948756f6713c207
kani-latest-aarch64-apple-darwin.tar.gz
103 MB
sha256:dc790d40a264e350684a01aa711bff5ed57c2c98c32d9548a70379e61247decd
kani-latest-aarch64-unknown-linux-gnu.tar.gz
131 MB
sha256:5a22462365f51b6261fd2cc8a3cd061ce985de927be572225e27247b626a5d77
kani-latest-x86_64-apple-darwin.tar.gz
105 MB
sha256:07bffa1c3a561e9edf6d56ded22d63fd49e0ff8a40a494cfd1a056a656dabc67
kani-latest-x86_64-unknown-linux-gnu.tar.gz
132 MB
sha256:5a31a72b03134eabe892a691b3a30abd522a12a8fde6f53140af6e522c16e34f
x86_64-apple-darwin-kani-verifier.crate
32.2 KB
sha256:601e6045e798882d08f9e0053b6f5518c79b43bf1e3a9713ab0e58b91d7b757a
x86_64-unknown-linux-gnu-kani-verifier.crate
32.2 KB
sha256:a4afaaa5b8dff3d9dba96efe9d42d43b6e1911c20a76bf31aa03cee0f474d056