Bump actions/checkout from 3 to 4 · model-checking/kani@c5fd881

Triggered via pull request December 11, 2023 18:07

synchronize #2934

Status Failure

Total duration 7m 42s

Artifacts 2

release.yml

on: pull_request

Matrix: TestBundle

Produced during runtime

Name	Size
kani-latest-x86_64-apple-darwin.tar.gz Expired	89.8 MB
macos-12-kani-verifier.crate Expired	18.8 KB