Automatic toolchain upgrade to nightly-2025-11-09 #5655
tautschnigrelease.yml
on: pull_request
BuildBundle-MacOs-x86_64
12m 46s
BuildBundle-MacOs-aarch64
4m 35s
BuildBundle-Linux-x86_64
9m 42s
BuildBundle-Linux-aarch64
14m 4s
Matrix: TestBundle
Matrix: TestLocalToolchain
Package Docker
0s
Annotations
4 warnings
|
BuildBundle-MacOs-aarch64
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0_1
|
|
BuildBundle-MacOs-aarch64
[email protected] 3.14.0_1 is already installed and up-to-date.
To reinstall 3.14.0_1, run:
brew reinstall [email protected]
|
|
BuildBundle-MacOs-x86_64
Already linked: /usr/local/Cellar/[email protected]/3.14.0_1
|
|
BuildBundle-MacOs-x86_64
[email protected] 3.14.0_1 is already installed and up-to-date.
To reinstall 3.14.0_1, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
aarch64-apple-darwin-kani-verifier.crate
|
28.7 KB |
sha256:a8c95aa1a855d7ae3870ab30fac14d2c8978d34411b19e045aa357d4d8cec462
|
|
|
aarch64-unknown-linux-gnu-kani-verifier.crate
|
28.7 KB |
sha256:97d78b06166c69de5f3603f2e38e562f6665cef7bfb2fb00883e5a25b92a77ad
|
|
|
kani-latest-aarch64-apple-darwin.tar.gz
|
100 MB |
sha256:10a27ab6ff4481f0913575cf47f4eb25acdf8519f91e5e0cc3cdd15ecc5ae9c2
|
|
|
kani-latest-aarch64-unknown-linux-gnu.tar.gz
|
132 MB |
sha256:60f0326dd3542df64e4935018b0adb8a708913c7915009c8214b753718f3d6db
|
|
|
kani-latest-x86_64-apple-darwin.tar.gz
|
105 MB |
sha256:3bc82d77ed7c49820282dd7332d2f8aa843e199342fb624a52ea4fde0dee30cb
|
|
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
|
138 MB |
sha256:bb55163a8967ec48efbff107087759b37145ac1594301fcda772f66bcd51d4ce
|
|
|
x86_64-apple-darwin-kani-verifier.crate
|
28.7 KB |
sha256:178a67fddb221ace14d59718001c47ddb2f6c9ccf46878908e3b1d0b902ff3cf
|
|
|
x86_64-unknown-linux-gnu-kani-verifier.crate
|
28.7 KB |
sha256:5cb80d6518641222b7e2858c236fcf6118021121267ae4432459c76aed5daa05
|
|