Back to pull request #3753

Upgrade toolchain to 2024-11-28 #3311

Sign in to view logs

Triggered via pull request December 3, 2024 07:46

tautschnig

opened #3753

tautschnig:toolchain-2024-11-28-manual

Status Success

Total duration 11m 59s

Artifacts 6

release.yml

on: pull_request

BuildBundle-MacOs

BuildBundle-Linux

BuildBundle-MacOs-ARM

Matrix: TestBundle

Matrix: TestLocalToolchain

Annotations

8 warnings

BuildBundle-MacOs-ARM

python@3.13 3.13.0_1 is already installed and up-to-date. To reinstall 3.13.0_1, run: brew reinstall python@3.13

BuildBundle-MacOs-ARM

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.0_1

BuildBundle-MacOs-ARM

wget 1.25.0 is already installed and up-to-date. To reinstall 1.25.0, run: brew reinstall wget

BuildBundle-MacOs-ARM

jq 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall jq

BuildBundle-MacOs

python@3.13 3.13.0_1 is already installed and up-to-date. To reinstall 3.13.0_1, run: brew reinstall python@3.13

BuildBundle-MacOs

Already linked: /usr/local/Cellar/python@3.13/3.13.0_1

BuildBundle-MacOs

wget 1.25.0 is already installed and up-to-date. To reinstall 1.25.0, run: brew reinstall wget

BuildBundle-MacOs

jq 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall jq

Artifacts

Produced during runtime

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