build(deps): bump model-checking/kani-github-action from 0.32 to 1.1

Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.32 to 1.1.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](model-checking/kani-github-action@v0.32...v1.1)

---
updated-dependencies:
- dependency-name: model-checking/kani-github-action
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

.github/workflows/ci.yml

@@ -180,7 +180,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - name: Verify with Kani
-        uses: model-checking/kani-github-action@v0.32
+        uses: model-checking/kani-github-action@v1.1
         with:
           enable-propproof: true
           args: |