milksad
/
rust-bitcoin-unsafe-fast
14
0
Fork 0
Code Issues Pull Requests Activity

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

e3f409e3c4 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 e3f409e3c4
  apoelstra:
    ACK e3f409e3c4327c647b64416caa401c883b459c86; successfully ran local tests

Tree-SHA512: 7e235b68226042937e7269cccae4850cd33cc09c1546a068542903bf9756aaf77155fce3991f899b8470bc97a7115c7ed22e4f09a4c4f4061897a0b18a993487
This commit is contained in:
merge-script 2025-03-05 15:34:35 +00:00
parent 16860fefd2 e3f409e3c4
commit d96d0f72b5
No known key found for this signature in database
GPG Key ID: C588D63CE41B97C1
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/cron-daily-kani.yml vendored
View File

@ -5,7 +5,7 @@ on:
- cron: '59 23 * * *' # midnight every day.
jobs:
run-kani:
runs-on: ubuntu-20.04
runs-on: ubuntu-24.04
steps:
- name: 'Checkout your code.'
uses: actions/checkout@v4

2
.github/workflows/rust.yml vendored
View File

@ -296,7 +296,7 @@ jobs:
Kani:
name: Kani codegen - stable toolchain
runs-on: ubuntu-20.04
runs-on: ubuntu-24.04
steps:
- name: "Checkout repo"
uses: actions/checkout@v4