From 21208abf667313866f79d3d1438310c4dc20bdff Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 23 Aug 2024 11:54:37 +0200 Subject: [PATCH] build(deps): bump model-checking/kani-github-action from 0.32 to 1.1 (#1125) 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](https://github.com/model-checking/kani-github-action/compare/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] Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e370c15fa..a8421eae6 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -180,7 +180,7 @@ jobs: steps: - uses: actions/checkout@v4 - name: Verify with Kani - uses: model-checking/kani-github-action@v0.32 + uses: model-checking/kani-github-action@v1.1 with: args: | -p prost-types