From 073265db66342ce3cd5e69ccb4b5889175821eca Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 15 May 2025 04:31:17 +0000 Subject: [PATCH] Do not use Ubuntu 20.04 in CI This has been deprecated by GitHub for its (free) security support has expired. --- .github/workflows/release-pypi.yaml | 2 +- .github/workflows/release.yaml | 2 +- .github/workflows/run-differential-tests.yaml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/release-pypi.yaml b/.github/workflows/release-pypi.yaml index b8ad1a3..66293e5 100644 --- a/.github/workflows/release-pypi.yaml +++ b/.github/workflows/release-pypi.yaml @@ -10,7 +10,7 @@ env: jobs: upload-to-pypi: name: Upload to PyPi - runs-on: ubuntu-20.04 + runs-on: ubuntu-latest permissions: id-token: write contents: write diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml index 1384b45..2f2d0fd 100644 --- a/.github/workflows/release.yaml +++ b/.github/workflows/release.yaml @@ -12,7 +12,7 @@ env: jobs: Release: name: CBMC viewer release - runs-on: ubuntu-20.04 + runs-on: ubuntu-latest permissions: id-token: write contents: write diff --git a/.github/workflows/run-differential-tests.yaml b/.github/workflows/run-differential-tests.yaml index e7e27c2..b36f518 100644 --- a/.github/workflows/run-differential-tests.yaml +++ b/.github/workflows/run-differential-tests.yaml @@ -28,7 +28,7 @@ jobs: cbmc_latest_release=$(get_latest_release diffblue/cbmc) litani_latest_release=$(get_latest_release awslabs/aws-build-accumulator) curl -o cbmc.deb -L \ - https://github.com/diffblue/cbmc/releases/download/$cbmc_latest_release/ubuntu-20.04-$cbmc_latest_release-Linux.deb + https://github.com/diffblue/cbmc/releases/download/$cbmc_latest_release/ubuntu-24.04-$cbmc_latest_release-Linux.deb curl -o litani.deb -L \ https://github.com/awslabs/aws-build-accumulator/releases/download/$litani_latest_release/litani-$litani_latest_release.deb sudo apt-get update \