Kani Action Check

Decouple `kani` version from `kani-github-action` version #77

Sign in to view logs

Triggered via pull request September 7, 2023 16:21

synchronize #45

jaisnan:use-kani-latest-by-default

Status Success

Total duration 1m 54s

Artifacts –

test-action.yml

on: pull_request

Ensure that the Kani action continues to work