From e3f409e3c4327c647b64416caa401c883b459c86 Mon Sep 17 00:00:00 2001 From: Erick Cestari Date: Tue, 4 Mar 2025 13:13:37 -0300 Subject: [PATCH] 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. --- .github/workflows/cron-daily-kani.yml | 2 +- .github/workflows/rust.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/cron-daily-kani.yml b/.github/workflows/cron-daily-kani.yml index dff1e54be..61ef6e395 100644 --- a/.github/workflows/cron-daily-kani.yml +++ b/.github/workflows/cron-daily-kani.yml @@ -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 diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 37ad742a4..d9da41a59 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -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