Automatic toolchain upgrade to nightly-2025-11-23 #5820
tautschnigrelease.yml
on: pull_request
BuildBundle-MacOs-x86_64
8m 14s
BuildBundle-MacOs-aarch64
5m 26s
BuildBundle-Linux-x86_64
5m 29s
BuildBundle-Linux-aarch64
14m 35s
Matrix: TestBundle
Matrix: TestLocalToolchain
Package Docker
Annotations
4 warnings
|
BuildBundle-MacOs-aarch64
Already linked: /opt/homebrew/Cellar/python@3.14/3.14.2
|
|
BuildBundle-MacOs-aarch64
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
|
BuildBundle-MacOs-x86_64
Already linked: /usr/local/Cellar/python@3.14/3.14.2
|
|
BuildBundle-MacOs-x86_64
python@3.14 3.14.2 is already installed and up-to-date.
To reinstall 3.14.2, run:
brew reinstall python@3.14
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
aarch64-apple-darwin-kani-verifier.crate
Expired
|
28.5 KB |
sha256:fa8758c92ef7c7f9f4d57bb165fdb42fa5eefe999c843e4465eb550844f0209c
|
|
|
aarch64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.5 KB |
sha256:ae7804962addb77cf849c10deac9604fa5973b7b15ab94ff6f2a679acbd0261c
|
|
|
kani-latest-aarch64-apple-darwin.tar.gz
Expired
|
98.6 MB |
sha256:86cd1d51ccb81daff76065050f15fdee8b21767794195a14c82759a3688b11b0
|
|
|
kani-latest-aarch64-unknown-linux-gnu.tar.gz
Expired
|
130 MB |
sha256:4791b81beef385a8fc34ac7d390628a3d327c9feb84a65ae1a616b8a0ca7cf44
|
|
|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
104 MB |
sha256:f6504f008205335d73c0ff21c6faa1293960d0bb3e5d34498f023a6920376be4
|
|
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
136 MB |
sha256:de20d418e7fd55e8329bf6e6b0b5d33f091499dfa0773211bc58df130b5896c6
|
|
|
x86_64-apple-darwin-kani-verifier.crate
Expired
|
28.5 KB |
sha256:574170ae81866523058071ae87f8435cf7c64159887767e71e33aa9a9108f1c9
|
|
|
x86_64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.5 KB |
sha256:823afb79c70cb408f72af281a8ac63605c9a695042f3ff3aaa0964e738c60177
|
|