Merge rust-bitcoin/rust-bitcoin#2054: Bump model-checking/kani-github-action from 0.15 to 0.36

1f25a40440 Bump model-checking/kani-github-action from 0.15 to 0.36 (dependabot[bot])

Pull request description:

  Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.15 to 0.36.
  <details>
  <summary>Release notes</summary>
  <p><em>Sourced from <a href="https://github.com/model-checking/kani-github-action/releases">model-checking/kani-github-action's releases</a>.</em></p>
  <blockquote>
  <h2>Kani Verifier CI Action 0.36</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.35</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.34</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.33</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.32</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.31</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.30</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.29</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.28</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.27</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.26</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.25</h2>
  <p>Bump Kani version to 0.25.0</p>
  <h2>Kani Verifier CI Action 0.24</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.23</h2>
  <p>Update to Kani 0.23.0</p>
  <h2>Kani Verifier CI Action 0.22</h2>
  <p>No release notes provided.</p>
  <h2>Kani Verifier CI Action 0.21</h2>
  <h2>What's Changed</h2>
  <ul>
  <li>Bump version to 0.21 by <a href="https://github.com/danielsn"><code>@danielsn</code></a> in <a href="https://redirect.github.com/model-checking/kani-github-action/pull/23">model-checking/kani-github-action#23</a></li>
  </ul>
  <h2>Kani Verifier CI Action 0.20</h2>
  <!-- raw HTML omitted -->
  </blockquote>
  <p>... (truncated)</p>
  </details>
  <details>
  <summary>Commits</summary>
  <ul>
  <li><a href="4876903b8a"><code>4876903</code></a> Update Kani version to 0.36.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/47">#47</a>)</li>
  <li><a href="402266cd4f"><code>402266c</code></a> Update Kani version to 0.35.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/43">#43</a>)</li>
  <li><a href="86cd7a26e0"><code>86cd7a2</code></a> Bump Kani version to 0.34.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/42">#42</a>)</li>
  <li><a href="ba46efd09d"><code>ba46efd</code></a> Bump Kani version (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/41">#41</a>)</li>
  <li><a href="8b0aa93be2"><code>8b0aa93</code></a> Bump Kani version to 0.32.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/40">#40</a>)</li>
  <li><a href="251c15a5fb"><code>251c15a</code></a> update-to-0.31.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/39">#39</a>)</li>
  <li><a href="7a843b5dbf"><code>7a843b5</code></a> Bump kani version to 0.30.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/38">#38</a>)</li>
  <li><a href="e6805b4b48"><code>e6805b4</code></a> Bump kani version to 0.29.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/37">#37</a>)</li>
  <li><a href="15bc38bcae"><code>15bc38b</code></a> Bump Kani version to 0.28.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/36">#36</a>)</li>
  <li><a href="9757fc4509"><code>9757fc4</code></a> Update Kani version to 0.27.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/35">#35</a>)</li>
  <li>Additional commits viewable in <a href="https://github.com/model-checking/kani-github-action/compare/v0.15...v0.36">compare view</a></li>
  </ul>
  </details>
  <br />

  [![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=model-checking/kani-github-action&package-manager=github_actions&previous-version=0.15&new-version=0.36)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

  Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.

  [//]: # (dependabot-automerge-start)
  [//]: # (dependabot-automerge-end)

  ---

  <details>
  <summary>Dependabot commands and options</summary>
  <br />

  You can trigger Dependabot actions by commenting on this PR:
  - `@dependabot rebase` will rebase this PR
  - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
  - `@dependabot merge` will merge this PR after your CI passes on it
  - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
  - `@dependabot cancel merge` will cancel a previously requested merge and block automerging
  - `@dependabot reopen` will reopen this PR if it is closed
  - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  - `@dependabot show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency
  - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

  </details>

ACKs for top commit:
  apoelstra:
    ACK 1f25a40440
  tcharding:
    ACK 1f25a40440

Tree-SHA512: 38beebebc2402c299d03999096ab0258842e44ebcd11da80e376c41c8ec1ebd8738e15dfcab906af9f094ccf9db763747eaeddd40fd7348d0d3c52d926be9d8d

.github/workflows/kani.yml

@@ -11,4 +11,4 @@ jobs:
         uses: actions/checkout@v3
 
       - name: 'Run Kani on your code.'
-        uses: model-checking/kani-github-action@v0.15
+        uses: model-checking/kani-github-action@v0.36