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

…aws#1659)

Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.22 to 0.23.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](model-checking/kani-github-action@v0.22...0.23)

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

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

.github/workflows/ci.yml

@@ -647,7 +647,7 @@ jobs:
           submodules: true
 
       - name: Kani run
-        uses: model-checking/kani-github-action@v0.22
+        uses: model-checking/kani-github-action@0.23
         with:
           working-directory: quic/s2n-quic-core
           args: --tests