Skip to content
Release Bundle

Optimize reachability with non-mutating global passes #4750

Sign in to view logs

Optimize reachability with non-mutating global passes

Optimize reachability with non-mutating global passes #4750

Triggered via pull request June 27, 2025 21:25
@AlexanderPortlandAlexanderPortland
synchronize #4177
AlexanderPortland:global-passes
Status Success
Total duration 11m 1s
Artifacts 6

release.yml

on: pull_request
BuildBundle-MacOs
7m 4s
BuildBundle-MacOs
BuildBundle-Linux
6m 20s
BuildBundle-Linux
BuildBundle-MacOs-ARM
4m 13s
BuildBundle-MacOs-ARM
Matrix: TestBundle
Matrix: TestLocalToolchain
Release
0s
Release
Package Docker
0s
Package Docker
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
BuildBundle-MacOs-ARM
Already linked: /opt/homebrew/Cellar/python@3.13/3.13.5
BuildBundle-MacOs-ARM
python@3.13 3.13.5 is already installed and up-to-date. To reinstall 3.13.5, run: brew reinstall python@3.13
BuildBundle-MacOs
Already linked: /usr/local/Cellar/python@3.13/3.13.5
BuildBundle-MacOs
python@3.13 3.13.5 is already installed and up-to-date. To reinstall 3.13.5, run: brew reinstall python@3.13

Artifacts

Produced during runtime
Name Size Digest
kani-latest-aarch64-apple-darwin.tar.gz Expired
95.5 MB
sha256:e72caf3da296b1ee7d1c71ccaa6dd2c887f716b75d4313689263d9b89f37e59b
kani-latest-x86_64-apple-darwin.tar.gz Expired
101 MB
sha256:5ba99e64a3c7221e11562211fd179bbddd9610263edfd8967c00b0508f2ed103
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired
125 MB
sha256:12c57f8281bd8598227012b4175c2b5145aec4bc2d7ebbcfc692447e0538f1bd
linux-kani-verifier.crate Expired
27.1 KB
sha256:7bd3e50bb97a3220e44e9cbea99bcd8bcf40d231bb21a044ffb7695c64f1819f
macos-13-kani-verifier.crate Expired
27.1 KB
sha256:43e21c822b5a518993e02d80c9a33e1cd642676b77c1a336f21d6fb051546f95
macos-14-kani-verifier.crate Expired
27.1 KB
sha256:6fafc76c93327349465e7dff5621cbb67f99fd166c729ab5cb6141fd0b78246f