Release Bundle

Update Kani version to 0.40.0 (#2847) #93

Sign in to view logs

Triggered via push November 1, 2023 20:39

adpaco-aws

kani-0.40.0

Status Failure

Total duration 23m 9s

Artifacts 4

release.yml

on: push

BuildBundle-Linux

BuildBundle-MacOs

TestAlternativePlatforms

Matrix: TestBundle

Annotations

1 error

Package Docker

buildx failed with: ERROR: invalid tag "ghcr.io/model-checking/kani-ubuntu-20.04:": invalid reference format

Artifacts

Produced during runtime

Name	Size
kani-0.40.0-x86_64-apple-darwin.tar.gz Expired	91.3 MB
kani-0.40.0-x86_64-unknown-linux-gnu.tar.gz Expired	113 MB
linux-kani-verifier.crate Expired	19.7 KB
macos-12-kani-verifier.crate Expired	19.7 KB