Release Bundle

Merge branch 'model-checking:main' into main #16

Sign in to view logs

Triggered via push December 20, 2024 13:48

remi-delmas-3000

main

Status Success

Total duration 9m 38s

Artifacts 6

release.yml

on: push

BuildBundle-MacOs

BuildBundle-Linux

BuildBundle-MacOs-ARM

Matrix: TestBundle

Matrix: TestLocalToolchain

Annotations

4 warnings

BuildBundle-MacOs-ARM

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

BuildBundle-MacOs-ARM

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.1

BuildBundle-MacOs

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

BuildBundle-MacOs

Already linked: /usr/local/Cellar/python@3.13/3.13.1

Artifacts

Produced during runtime

Name	Size
kani-latest-aarch64-apple-darwin.tar.gz	92.7 MB
kani-latest-x86_64-apple-darwin.tar.gz	99.3 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz	126 MB
linux-kani-verifier.crate	23.6 KB
macos-13-kani-verifier.crate	23.6 KB
macos-14-kani-verifier.crate	23.6 KB