Bump macOS versions (#26)

kframework · Oct 11, 2023 · e6c19dc · e6c19dc
1 parent 2faa3d3
commit e6c19dc
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-11, macos-12]
+        os: [macos-12, macos-13]
 
     steps:
     - name: 'Check out code'