Include temporary test files to gitgnore (#2644) #5037

Triggered via push July 31, 2023 12:55

main

Status Success

Total duration 38m 5s

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	88.3 MB
kani-latest-x86_64-unknown-linux-gnu.tar.gz Expired	109 MB