Change GHC location · tautschnig/kani@1aab7a4

Triggered via push August 23, 2023 07:06

Status Failure

Total duration 45m 8s

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