From 9cbe348c9a4ad798d4cd13343402659dbea6a798 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 15 Jan 2024 10:43:18 +0000 Subject: [PATCH] Bump model-checking/kani-github-action from 1.0 to 1.1 Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 1.0 to 1.1. - [Release notes](https://github.com/model-checking/kani-github-action/releases) - [Commits](https://github.com/model-checking/kani-github-action/compare/v1.0...v1.1) --- updated-dependencies: - dependency-name: model-checking/kani-github-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/kani.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index 520ad176..dff1e54b 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -11,4 +11,4 @@ jobs: uses: actions/checkout@v4 - name: 'Run Kani on your code.' - uses: model-checking/kani-github-action@v1.0 + uses: model-checking/kani-github-action@v1.1