Release Bundle

Automatic toolchain upgrade to nightly-2025-01-13 #3543

Sign in to view logs

Triggered via pull request January 15, 2025 10:52

tautschnig

reopened #3833

toolchain-2025-01-13

Status Success

Total duration 10m 57s

Artifacts 6

release.yml

on: pull_request

BuildBundle-MacOs

BuildBundle-Linux

BuildBundle-MacOs-ARM

Matrix: TestBundle

Matrix: TestLocalToolchain

Annotations

4 warnings

BuildBundle-MacOs-ARM

[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]

BuildBundle-MacOs-ARM

Already linked: /opt/homebrew/Cellar/[email protected]/3.13.1

BuildBundle-MacOs

[email protected] 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall [email protected]

BuildBundle-MacOs

Already linked: /usr/local/Cellar/[email protected]/3.13.1

Artifacts

Produced during runtime

Name	Size
kani-latest-aarch64-apple-darwin.tar.gz Expired	93.5 MB
kani-latest-x86_64-apple-darwin.tar.gz Expired	100 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired	125 MB
linux-kani-verifier.crate Expired	23.8 KB
macos-13-kani-verifier.crate Expired	23.8 KB
macos-14-kani-verifier.crate Expired	23.8 KB