Merge pull request #5 from DeFiCh/dependabot/github_actions/model-che…

…cking/kani-github-action-1.1 Bump model-checking/kani-github-action from 1.0 to 1.1
DeFiCh · Jun 5, 2024 · d00a34d · d00a34d
2 parents 3f08ace + 42d0477
commit d00a34d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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