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

ci: update Kani GitHub Actions runners to ubuntu-24.04 

GitHub is deprecating the ubuntu-20.04 runner, with removal scheduled for
2025-04-01 (see: https://github.com/actions/runner-images/issues/11101)
This commit updates workflow files to use ubuntu-24.04 instead.
This commit is contained in:
Erick Cestari 2025-03-04 13:13:37 -03:00
parent 95c012ee53
commit e3f409e3c4
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. - cron: '59 23 * * *' # midnight every day.
jobs: jobs:
run-kani: run-kani:
runs-on: ubuntu-20.04 runs-on: ubuntu-24.04
steps: steps:
- name: 'Checkout your code.' - name: 'Checkout your code.'
uses: actions/checkout@v4 uses: actions/checkout@v4

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

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