Update test.yml

Updating workflow to run on OS14 runner.
runtimeverification · Dec 9, 2024 · abbf58b · abbf58b
1 parent 51d8878
commit abbf58b
Showing 1 changed file with 1 addition and 1 deletion.
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'