Try using __w · tautschnig/kani@0fc6469

Triggered via push August 23, 2023 07:59

Status Failure

Total duration 44m 25s

Artifacts 1

kani.yml

on: push

Matrix: regression

Matrix: releasebundle-macos

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
kani-latest-x86_64-apple-darwin.tar.gz Expired	89.7 MB