message: ci: update Kani action version to v0.15
diff: @@ -618,7 +618,7 @@ jobs:
  submodules: true
  - name: Kani run
  - uses: model-checking/kani-github-action@v0.14
  + uses: model-checking/kani-github-action@v0.15
  with:
  working-directory: quic/s2n-quic-core
  args: --tests
  