build(deps): bump model-checking/kani-github-action from 0.36 to 0.37 (…

…#180)

Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.36 to 0.37.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](model-checking/kani-github-action@v0.36...v0.37)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

.github/workflows/main.yml

@@ -107,7 +107,7 @@ jobs:
         override: true
 
     - name: Kani run
-      uses: model-checking/kani-github-action@v0.36
+      uses: model-checking/kani-github-action@v0.37
       with:
         working-directory: examples/basic
         args: --tests