Attempt to fix CI workflows for LLVM-17 (not yet during test runs)

utwente-fmt · May 8, 2024 · e7482b8 · e7482b8
1 parent 499e117
commit e7482b8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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