modified: .github/workflows/release.yml

modified: .github/workflows/test.yml - Point runners to use Mac OS14 runner from 12
runtimeverification · Dec 9, 2024 · e66aafa · e66aafa
1 parent a6001b5
commit e66aafa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -87,7 +87,7 @@ jobs:
           - runner: [self-hosted, linux, normal]
             os: ubuntu-24.04
           - runner: MacM1
-            os: self-macos-12
+            os: self-macos-14
 
     runs-on: ${{ matrix.runner }}
     steps:

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -18,7 +18,7 @@ jobs:
           - runner: [self-hosted, linux, normal]
             os: ubuntu-24.04
           - runner: MacM1
-            os: self-macos-12
+            os: self-macos-14
     runs-on: ${{ matrix.runner }}
     steps:
       - name: 'Check out code'