Skip to content

Automatic cargo update to 2024-01-22 #476

Automatic cargo update to 2024-01-22

Automatic cargo update to 2024-01-22 #476

Triggered via pull request January 22, 2024 05:13
Status Success
Total duration 18m 33s
Artifacts 4

release.yml

on: pull_request
TestAlternativePlatforms
1m 59s
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
88.7 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired
107 MB
linux-kani-verifier.crate Expired
18.9 KB
macos-12-kani-verifier.crate Expired
18.9 KB