From 46d419e7bd3af8e72c433f4ab84381e53639fc34 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Sat, 10 May 2025 11:49:44 -0400
Subject: [PATCH] Bump Ubuntu version in CI release action

Ubuntu 20.04 runners have been retired.
---
 .github/workflows/ebmc-release.yaml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ebmc-release.yaml b/.github/workflows/ebmc-release.yaml
index fb269c03d..65eeff95b 100644
--- a/.github/workflows/ebmc-release.yaml
+++ b/.github/workflows/ebmc-release.yaml
@@ -8,7 +8,7 @@ name: Create Release
 jobs:
   get-version-information:
     name: Get Version Information
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-24.04
     outputs:
       version: ${{ steps.split-version.outputs._1 }}
       tag_name: ebmc-${{ steps.split-version.outputs._1 }}
@@ -26,7 +26,7 @@ jobs:
 
   perform-draft-release:
     name: Perform Draft Release
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-24.04
     needs: [get-version-information]
     outputs:
       upload_url: ${{ steps.draft_release.outputs.upload_url }}
@@ -217,7 +217,7 @@ jobs:
 
   wasm-package:
     name: Package wasm
-    runs-on: ubuntu-24.04
+    runs-on: ubuntu-22.04
     needs: [perform-draft-release]
     outputs:
       wasm_package_name: ${{ steps.create_packages.outputs.wasm_package_name }}
@@ -293,7 +293,7 @@ jobs:
 
   perform-release:
     name: Perform Release
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-24.04
     needs: [ubuntu-22_04-package, centos8-package, wasm-package, get-version-information, perform-draft-release]
     steps:
       - name: Publish release