Use Kani's Cargo when calling cargo metadata
#3987
zhassan-awsrelease.yml
on: pull_request
BuildBundle-MacOs-ARM
4m 31s
Matrix: TestBundle
Matrix: TestLocalToolchain
Package Docker
0s
Annotations
4 warnings
|
BuildBundle-MacOs-ARM
[email protected] 3.13.2 is already installed and up-to-date.
To reinstall 3.13.2, run:
brew reinstall [email protected]
|
|
BuildBundle-MacOs-ARM
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.2
|
|
BuildBundle-MacOs
[email protected] 3.13.2 is already installed and up-to-date.
To reinstall 3.13.2, run:
brew reinstall [email protected]
|
|
BuildBundle-MacOs
Already linked: /usr/local/Cellar/[email protected]/3.13.2
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
kani-latest-aarch64-apple-darwin.tar.gz
Expired
|
95.5 MB |
sha256:5e6e2743ee39c59c99c2e4623d435c2d7c3ea3809f50c770ccd1d13454752613
|
|
|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
101 MB |
sha256:58082a17cd81c60ca531bd6c3be982e40a9ecf760501167456effb527b7a91e0
|
|
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
125 MB |
sha256:a990404d2e6759e8d7937fb501f672bb540f43eb35026a3bb8a404801656c582
|
|
|
linux-kani-verifier.crate
Expired
|
24.3 KB |
sha256:f9b38fddd5a2192a28ec200fa697274d7251023b782bce66373b9038869c521c
|
|
|
macos-13-kani-verifier.crate
Expired
|
24.3 KB |
sha256:f3ca6f9fb3a130a9f30af0c43574fe9ce64fa20250465636dce696948dc12673
|
|
|
macos-14-kani-verifier.crate
Expired
|
24.3 KB |
sha256:8aa5ab3c45bc2e90ae0242033f85f69097f5ab90340ed988342e1220a57855b6
|
|