Automatic cargo update to 2025-08-18 #5205
tautschnigrelease.yml
on: pull_request
BuildBundle-MacOs-x86_64
12m 20s
BuildBundle-MacOs-aarch64
4m 23s
BuildBundle-Linux-x86_64
6m 5s
BuildBundle-Linux-aarch64
14m 50s
Matrix: TestBundle
Matrix: TestLocalToolchain
Package Docker
0s
Annotations
1 error and 1 warning
|
BuildBundle-MacOs-x86_64
The `brew link` step did not complete successfully
|
|
BuildBundle-MacOs-aarch64
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
aarch64-apple-darwin-kani-verifier.crate
Expired
|
28.2 KB |
sha256:b3bc3f7c11e2bd32dcbed9b69e35b254d304806f7773c8ef36375fca6c399d94
|
|
|
aarch64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.2 KB |
sha256:121d9950abdb250b476433aa74abbad6e3882180e513852c8918f0ca07e9c06c
|
|
|
kani-latest-aarch64-apple-darwin.tar.gz
Expired
|
100 MB |
sha256:3e717e4a3d070cfeaecc6360a317bd6226c4110732a3ebfab8601e8c1d3c8bc8
|
|
|
kani-latest-aarch64-unknown-linux-gnu.tar.gz
Expired
|
133 MB |
sha256:0ced548a41fe0c56b0f1b79f0845b45eceabb5c76bea26ae19793e9b62d29588
|
|
|
kani-latest-x86_64-apple-darwin.tar.gz
Expired
|
105 MB |
sha256:3b0d175264b8f7d27e788d3e32dbb0ee369f03abc6cea64e013f84b95945cb8d
|
|
|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
138 MB |
sha256:66d9fc95f671a23500e883cf8c02b39e93b1a439578e7694c45a316df97464e7
|
|
|
x86_64-apple-darwin-kani-verifier.crate
Expired
|
28.2 KB |
sha256:80cbd2f2633c7797802dcc5dd0cb5e0e501a4d9aad692d3d09400f42cf6faff9
|
|
|
x86_64-unknown-linux-gnu-kani-verifier.crate
Expired
|
28.2 KB |
sha256:640246bcbe52ec492cc2a846f6c7b7aaaed17ffb8c2420ec0ecd8ad90353bb34
|
|