Kani CI

Update Rust toolchain to 2023-09-15 #164

Triggered via push September 15, 2023 07:19

tautschnig

Status Success

Total duration 43m 11s

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