rust-bitcoin / rust-bitcoin / 13679646605

83%

push

github

Merge rust-bitcoin/rust-bitcoin#4188: ci: update Kani GitHub Actions runners to ubuntu-24.04

<a class=hub.com/rust-bitcoin/rust-bitcoin/commit/<a class="double-link" href="https://git"><a class=hub.com/rust-bitcoin/rust-bitcoin/commit/e3f409e3c4327c647b64416caa401c883b459c86">e3f409e3c ci: update Kani GitHub Actions runners to ubuntu-24.04 (Erick Cestari)

Pull request description:

  GitHub is deprecating the ubuntu-20.04 runner, with removal scheduled for 2025-04-01 (see [GitHub Issue #11101](https://github.com/actions/runner-images/issues/11101)).

  This PR updates the CI/CD workflows to use ubuntu-24.04 instead of ubuntu-20.04 for the following workflows:

  - cron-daily-kani.yml
  - rust.yml (Kani codegen job)

  This change should resolve the CI/CD error in the Kani codegen - stable toolchain job triggered by pull requests.

ACKs for top commit:
  Kixunil:
    ACK e3f409e3c4327c647b64416caa401c883b459c86
  apoelstra:
    ACK e3f409e3c4327c647b64416caa401c883b459c86; successfully ran local tests

Tree-SHA512: 7e235b6821546a06858470bc97a8a993487

21541 of 25953 relevant lines covered (83.0%)

16805.89 hits per line