Merge pull request DeFiCh#5 from DeFiCh/dependabot/github_actions/model-checking/kani-github-action-1.1

Bump model-checking/kani-github-action from 1.0 to 1.1

Author: Jouzo

.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