Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build(deps): bump model-checking/kani-github-action from 0.32 to 1.1
Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.32 to 1.1. - [Release notes](https://github.com/model-checking/kani-github-action/releases) - [Commits](model-checking/kani-github-action@v0.32...v1.1) --- updated-dependencies: - dependency-name: model-checking/kani-github-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
- Loading branch information