Skip to content

Update toolchain to nightly-2023-11-21 (#2890) #1

Update toolchain to nightly-2023-11-21 (#2890)

Update toolchain to nightly-2023-11-21 (#2890) #1

Triggered via push November 27, 2023 13:02
Status Success
Total duration 35m 17s
Artifacts 4

release.yml

on: push
TestAlternativePlatforms
2m 5s
TestAlternativePlatforms
Matrix: TestBundle
Release
0s
Release
Package Docker
0s
Package Docker
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
kani-latest-x86_64-apple-darwin.tar.gz Expired
89.3 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired
110 MB
linux-kani-verifier.crate Expired
18.7 KB
macos-12-kani-verifier.crate Expired
18.7 KB