Skip to content

Autoharness: try () when instantiating generic functions #7122

Autoharness: try () when instantiating generic functions

Autoharness: try () when instantiating generic functions #7122

Re-run triggered October 2, 2026 00:51
Status Success
Total duration 2h 1m 35s
Artifacts 8

release.yml

on: pull_request
BuildBundle-MacOs-x86_64
52m 1s
BuildBundle-MacOs-x86_64
BuildBundle-MacOs-aarch64
18m 33s
BuildBundle-MacOs-aarch64
BuildBundle-Linux-x86_64
5m 35s
BuildBundle-Linux-x86_64
BuildBundle-Linux-aarch64
12m 40s
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 '3eb33bc7befda65d07c247830fadc5378ed24493d771d9df6ac3397dfeee6ded--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.
TestBundle (macos-14)
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.

Artifacts

Produced during runtime
Name Size Digest
aarch64-apple-darwin-kani-verifier.crate
32.2 KB
sha256:69a424d6a40df05b57e5f40d0ce11ba93b9403cb45ba08eb2b9ae0e5fad2f300
aarch64-unknown-linux-gnu-kani-verifier.crate
32.2 KB
sha256:09c4407489bb9e6a3660c14fa072d2d278dcf5c5301b71c65af98efb218d2d35
kani-latest-aarch64-apple-darwin.tar.gz
103 MB
sha256:42aa8f1deeb0384025aa530456242028cd4af91a070e6d86ace7dd8e0fd4c4e6
kani-latest-aarch64-unknown-linux-gnu.tar.gz
131 MB
sha256:65be3c983334b39dc2f787fb41656faaf8796d8cc99c179464e43275518f12ce
kani-latest-x86_64-apple-darwin.tar.gz
105 MB
sha256:2a4c4cdcb5815dff7b1bc134b3348e90a138f557a1358e053a5f6264f7989ef9
kani-latest-x86_64-unknown-linux-gnu.tar.gz
132 MB
sha256:723be4e39d197bcc2788248509192fad86c2889d383934ffb1ff2782b5c12a55
x86_64-apple-darwin-kani-verifier.crate
32.2 KB
sha256:7f0e6004b66d2fb49d698462109c70382c77a69897c65e91f610cc391b31ece5
x86_64-unknown-linux-gnu-kani-verifier.crate
32.2 KB
sha256:97637cea1ee9d58f53b6b43e15b7c843d3267dcc6ba8468d2a4a44134b6e62b8