Skip to content

Sync changes

Sync changes #180

Triggered via push October 4, 2023 13:15
Status Success
Total duration 1h 10m 58s
Artifacts 2

kani.yml

on: push
Matrix: regression
Matrix: releasebundle-macos

Artifacts

Produced during runtime
Name Size
kani-latest-x86_64-apple-darwin.tar.gz Expired
90.8 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired
112 MB