Version updated for model-checking/kani-github-action to version v1.0. This publisher is shown as erified by GitHub. This action is used across all versions by 21 repositories. Go to the GitHub Marketplace to find the latest changes. Release notes 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 https://github.com/model-checking/kani-github-action/pull/45 Full Changelog: https://github.com/model-checking/kani-github-action/compare/v0.37...v1.0