Skip to content

Kani Verifier CI Action 1.0

Marketplace
Marketplace
Compare
Choose a tag to compare
@jaisnan jaisnan released this 27 Sep 22:05
· 2 commits to v1 since this release
v1.0
e621a98
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Major Changes

  • Add kani-version field to github action, which defaults to latest version of Kani

What's Changed

  • Decouple kani version from kani-github-action version by @jaisnan in #45

Full Changelog: v0.37...v1.0

Contributors

jaisnan
Assets 2
Loading