Skip to content
Release Bundle

Automatic cargo update to 2026-01-05 #5794

Sign in to view logs

Automatic cargo update to 2026-01-05

Automatic cargo update to 2026-01-05 #5794

Re-run triggered January 7, 2026 13:06
@tautschnigtautschnig
#4508
cargo-update-2026-01-05
Status Success
Total duration 6m 48s
Artifacts 8

release.yml

on: pull_request
BuildBundle-MacOs-x86_64
10m 7s
BuildBundle-MacOs-x86_64
BuildBundle-MacOs-aarch64
4m 14s
BuildBundle-MacOs-aarch64
BuildBundle-Linux-x86_64
5m 54s
BuildBundle-Linux-x86_64
BuildBundle-Linux-aarch64
12m 46s
BuildBundle-Linux-aarch64
Matrix: TestBundle
Matrix: TestLocalToolchain
Release
Release
Package Docker
0s
Package Docker
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
BuildBundle-MacOs-aarch64
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.2
BuildBundle-MacOs-aarch64
[email protected] 3.14.2 is already installed and up-to-date. To reinstall 3.14.2, run: brew reinstall [email protected]

Artifacts

Produced during runtime
Name Size Digest
aarch64-apple-darwin-kani-verifier.crate
28.2 KB
sha256:48ab5c63ab4f84ae0c9903b8bd4fe7847fbe4cc81fd15e5118da8bfa2b99ea49
kani-latest-aarch64-apple-darwin.tar.gz
100 MB
sha256:cb3f7a602feb8a409686f613fcdc530c27898be55965e76d7e7ae3316a56889a