Kani CI

minor version update of deps using cargo update #33

Triggered via push September 19, 2023 21:33

cargo-update

Status Success

Total duration 1h 0m 48s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

kani.yml

on: push

Matrix: regression

Matrix: releasebundle-macos

Produced during runtime

Name	Size
kani-latest-x86_64-apple-darwin.tar.gz Expired	90.7 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired	112 MB