Merge rust-bitcoin/rust-bitcoin#2340: Bump model-checking/kani-github-action from 1.0 to 1.1

9cbe348c9a Bump model-checking/kani-github-action from 1.0 to 1.1 (dependabot[bot])

Pull request description:

  Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 1.0 to 1.1.
  <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 1.1</h2>
  <h2>What's Changed</h2>
  <ul>
  <li>Use stable version to install Kani by <a href="https://github.com/zhassan-aws"><code>@zhassan-aws</code></a> in <a href="https://redirect.github.com/model-checking/kani-github-action/pull/53">model-checking/kani-github-action#53</a></li>
  </ul>
  <p><strong>Full Changelog</strong>: <a href="https://github.com/model-checking/kani-github-action/compare/v1.0...v1.1">https://github.com/model-checking/kani-github-action/compare/v1.0...v1.1</a></p>
  </blockquote>
  </details>
  <details>
  <summary>Commits</summary>
  <ul>
  <li><a href="f838096619"><code>f838096</code></a> Update README to use v1 instead of v1.0 (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/55">#55</a>)</li>
  <li><a href="3c6810af57"><code>3c6810a</code></a> Use stable version to install Kani (<a href="https://redirect.github.com/model-checking/kani-github-action/issues/53">#53</a>)</li>
  <li>See full diff in <a href="https://github.com/model-checking/kani-github-action/compare/v1.0...v1.1">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=1.0&new-version=1.1)](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:
  Kixunil:
    ACK 9cbe348c9a

Tree-SHA512: dc636fb480254da2029b3ce35970bee6f2f6e95f3efcf7ef5dc75a261f25054c50c47c66e02a4a7964fe94effabb0623d84bc2591e23e3fe547c9fb47244a392
This commit is contained in:
Andrew Poelstra 2024-01-15 15:10:45 +00:00
commit 910d5a56bd
No known key found for this signature in database
GPG Key ID: C588D63CE41B97C1
1 changed files with 1 additions and 1 deletions

View File

@ -11,4 +11,4 @@ jobs:
uses: actions/checkout@v4 uses: actions/checkout@v4
- name: 'Run Kani on your code.' - name: 'Run Kani on your code.'
uses: model-checking/kani-github-action@v1.0 uses: model-checking/kani-github-action@v1.1