Kani Action Check

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

Sign in to view logs

Triggered via pull request September 7, 2023 16:24

jaisnan

synchronize #45

jaisnan:use-kani-latest-by-default

Status Success

Total duration 2m 7s

Artifacts –

test-action.yml

on: pull_request

Ensure that the Kani action continues to work