Make runner version explicit

runtimeverification · Jan 7, 2025 · 31c4485 · 31c4485
1 parent 889d0ed
commit 31c4485
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 11 deletions.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -7,7 +7,7 @@ on:
 jobs:
   gh-release:
     name: 'Publish GitHub Prerelease'
-    runs-on: ubuntu-latest
+    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
@@ -21,7 +21,7 @@ jobs:
 
   source-tarball:
     name: 'Create source tarball'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     environment: production
     steps:
       - name: 'Check out code'
@@ -475,7 +475,7 @@ jobs:
 
   pyk-publish:
     name: 'Publish pyk'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     environment: production
     permissions:
       id-token: write
@@ -513,10 +513,10 @@ jobs:
             fi
             sleep 10
           done
-  
+
   notify-dependents:
     name: 'Notify Dependents'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     needs: pyk-publish
     steps:
       - name: Check out code

diff --git a/.github/workflows/run-actionlint.yml b/.github/workflows/run-actionlint.yml
@@ -4,7 +4,7 @@ on: pull_request
 jobs:
   actionlint:
     name: Run actionlint
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
       - name: Download actionlint

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -11,7 +11,7 @@ concurrency:
 jobs:
   format-check:
     name: 'Java: Linting'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
@@ -30,7 +30,7 @@ jobs:
 
   pyk-code-quality-checks:
     name: 'Pyk: Code Quality & Unit Tests'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     timeout-minutes: 5
     strategy:
       fail-fast: false
@@ -56,7 +56,7 @@ jobs:
 
   code-quality:
     name: 'Code Quality Checks'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     needs:
       - format-check
       - pyk-code-quality-checks
@@ -156,7 +156,7 @@ jobs:
     name: 'Pyk: Nix Build'
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-14]
+        os: [ubuntu-24.04, macos-14]
     runs-on: ${{ matrix.os }}
     steps:
       - name: 'Check out code'
@@ -311,7 +311,7 @@ jobs:
   pyk-regression-tests:
     needs: test-frontend-package-ubuntu-jammy
     name: 'Pyk: Regression Tests'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     timeout-minutes: 30
     steps:
       - name: 'Check out code'