Automatic toolchain upgrade to nightly-2025-08-29 #5261
zhassan-awsrelease.yml
on: pull_request
BuildBundle-MacOs-x86_64
10m 38s
BuildBundle-MacOs-aarch64
5m 17s
BuildBundle-Linux-x86_64
8m 18s
BuildBundle-Linux-aarch64
13m 39s
Matrix: TestBundle
Matrix: TestLocalToolchain
Package Docker
Annotations
4 warnings
|
BuildBundle-MacOs-aarch64
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
BuildBundle-MacOs-aarch64
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
BuildBundle-MacOs-x86_64
Already linked: /usr/local/Cellar/[email protected]/3.13.7
|
|
BuildBundle-MacOs-x86_64
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
aarch64-apple-darwin-kani-verifier.crate
Expired
|
28.2 KB |
sha256:978cc8a1e45cade0f5d7511c53ec482708166d7408f58db1af7f020060e6e747
|
|
|
aarch64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.2 KB |
sha256:d8655e1598338d9803e7352ea687d966b978e46211532d85df3b29dfeb0cbf21
|
|
|
kani-latest-aarch64-apple-darwin.tar.gz
Expired
|
99.9 MB |
sha256:3f37e14bfb862e9d7b12f7607692461f15f2329752b30d3be6e4bcf7c7137a6a
|
|
|
kani-latest-aarch64-unknown-linux-gnu.tar.gz
Expired
|
132 MB |
sha256:f6bbd79135f9efd9f1439be5252b1219489395151f9653dedc5dd8e4e77c0cf0
|
|
|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
105 MB |
sha256:2b698d1c59cb9d86322503221421bdff5baf58fb374b9d8d5baf44d41180fc7e
|
|
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
137 MB |
sha256:30fd6a5013e5de0fe3821dcd4d272132575969adc80c75903261df6637413aa7
|
|
|
x86_64-apple-darwin-kani-verifier.crate
Expired
|
28.2 KB |
sha256:35054a3ad389cf5963779d3840156daa14d3683d05a2b9c5f0459e1df7d90d34
|
|
|
x86_64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.2 KB |
sha256:7884512944d8ad6e912e47cf89a6a5dbf70e6ccd77666bf65829ad7850c52fba
|
|