Kani Action Check

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

Sign in to view logs

Triggered via pull request September 6, 2023 20:29

jaisnan

opened #45

jaisnan:use-kani-latest-by-default

Status Success

Total duration 1m 19s

Artifacts –

test-action.yml

on: pull_request

Ensure that the Kani action continues to work