From 71dc501d1be5c0c82ded0dc00e145bcf6d7def99 Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Fri, 7 Jun 2024 17:44:13 +0100
Subject: [PATCH] Move simple jobs to latest Ubuntu version (#4429)

These jobs were previously running on an old version of Ubuntu, the
image for which will be deprecated at some point. This PR just bumps
them to use a newer version; the jobs aren't interacting with the OS in
any meaningful way so this won't be a breaking change.
---
 .github/workflows/develop.yml     | 2 +-
 .github/workflows/master-pr.yml   | 2 +-
 .github/workflows/release.yml     | 8 ++++----
 .github/workflows/update-deps.yml | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
index 0f2b5abed92..088b6676933 100644
--- a/.github/workflows/develop.yml
+++ b/.github/workflows/develop.yml
@@ -11,7 +11,7 @@ jobs:
 
   version-bump:
     name: 'Version Bump'
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-24.04
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
diff --git a/.github/workflows/master-pr.yml b/.github/workflows/master-pr.yml
index 9d2451b55f0..e96dfb1d31a 100644
--- a/.github/workflows/master-pr.yml
+++ b/.github/workflows/master-pr.yml
@@ -11,7 +11,7 @@ jobs:
 
   change-base:
     name: 'Change base to develop branch'
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-24.04
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 5cd31b727b2..1c940b96ce5 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -11,7 +11,7 @@ jobs:
 
   set-release-id:
     name: 'Set Release ID'
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-24.04
     steps:
       - name: 'Get release_id'
         run: echo "release_id=$(jq --raw-output '.release.id' $GITHUB_EVENT_PATH)" >> ${GITHUB_OUTPUT}
@@ -48,8 +48,8 @@ jobs:
     strategy:
       matrix:
         include:
-          - runner: ubuntu-20.04
-            os: ubuntu-20.04
+          - runner: ubuntu-24.04
+            os: ubuntu-24.04
           - runner: macos-13
             os: macos-13
           - runner: MacM1
@@ -456,7 +456,7 @@ jobs:
 
   gh-pages:
     name: 'GitHub Pages deployment'
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-24.04
     timeout-minutes: 30
     needs: [pyk-build-docs, release]
     steps:
diff --git a/.github/workflows/update-deps.yml b/.github/workflows/update-deps.yml
index 0eee93c3c4c..fa5a275bef2 100644
--- a/.github/workflows/update-deps.yml
+++ b/.github/workflows/update-deps.yml
@@ -14,7 +14,7 @@ jobs:
 
   nix-flake-submodule-sync:
     name: 'Nix flake submodule sync'
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-24.04
     steps:
       - name: 'Check out code, set up Git'
         uses: actions/checkout@v4