Switch to macos 14 only

runtimeverification · May 21, 2024 · 49d2437 · 49d2437
1 parent 0ad0bfa
commit 49d2437
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -12,7 +12,7 @@ jobs:
 
     strategy:
       matrix:
-        os: [macos-12, macos-13]
+        os: [macos-14]
 
     steps:
     - name: 'Check out code'