Skip to content

Create concrete playback temp files in source directory #177

Create concrete playback temp files in source directory

Create concrete playback temp files in source directory #177

Triggered via push October 4, 2023 10:06
Status Success
Total duration 1h 9m 23s
Artifacts 2

kani.yml

on: push
Matrix: regression
Matrix: releasebundle-macos
Fit to window
Zoom out
Zoom in

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