From 87a344fdc5c98b447961290c49c7c0ba46dde13d Mon Sep 17 00:00:00 2001 From: Nextest Bot Date: Tue, 21 Jul 2026 07:13:07 +0000 Subject: [PATCH] Update model-checking/kani-github-action action to v1.1 --- .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 68fb4505..175b3957 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -63,4 +63,4 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7 - - uses: model-checking/kani-github-action@v1 + - uses: model-checking/kani-github-action@f838096619a707b0f6b2118cf435eaccfa33e51f # v1.1