From 7eb6d13eba2357671f171572dfa95fd6721d39b4 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 8 Mar 2023 10:00:50 +0000 Subject: [PATCH] build(deps): bump model-checking/kani-github-action from 0.22 to 0.23 Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.22 to 0.23. - [Release notes](https://github.com/model-checking/kani-github-action/releases) - [Commits](https://github.com/model-checking/kani-github-action/compare/v0.22...0.23) --- 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/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0de6d607b1..370aa9c38f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -647,7 +647,7 @@ jobs: submodules: true - name: Kani run - uses: model-checking/kani-github-action@v0.22 + uses: model-checking/kani-github-action@0.23 with: working-directory: quic/s2n-quic-core args: --tests