From e7482b82a9d13787fb5300ee10702600aadd5977 Mon Sep 17 00:00:00 2001
From: Alexander Stekelenburg <a.v.stekelenburg@utwente.nl>
Date: Wed, 8 May 2024 10:51:57 +0200
Subject: [PATCH] Attempt to fix CI workflows for LLVM-17 (not yet during test
 runs)

---
 .github/workflows/release.yml   | 2 +-
 .github/workflows/scalatest.yml | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 20187f5d37..35d4481090 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -9,7 +9,7 @@ on:
 
 jobs:
   Release:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - name: Checkout VerCors
         uses: actions/checkout@v2
diff --git a/.github/workflows/scalatest.yml b/.github/workflows/scalatest.yml
index dd6e8c22c1..632e6fe244 100644
--- a/.github/workflows/scalatest.yml
+++ b/.github/workflows/scalatest.yml
@@ -16,7 +16,7 @@ concurrency:
 jobs:
   Compile:
     if: (github.event_name != 'pull_request' || github.event.pull_request.head.repo.fork)
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - name: Checkout VerCors
         uses: actions/checkout@v2
@@ -130,7 +130,7 @@ jobs:
       matrix:
         batch: ["-n MATRIX[0]", "-n MATRIX[1]", "-n MATRIX[2]", "-n MATRIX[3]", "-n MATRIX[4]", "-n MATRIX[5]", "-n MATRIX[6]", "-n MATRIX[7]", "-l MATRIX"]
 
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - name: Checkout VerCors
         uses: actions/checkout@v2