Remove spurious and · tautschnig/kani@0cb2b53

Triggered via push August 18, 2023 19:18

Status Failure

Total duration 41m 27s

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.8 MB