Change to macos-13 in GitHub Actions for x86_64 OSX

goblint · Jul 24, 2024 · 30dbc1e · 30dbc1e
1 parent 29618d3
commit 30dbc1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -11,7 +11,7 @@ jobs:
       fail-fast: false
       matrix:
         os:
-          - macos-latest
+          - macos-13
           - ubuntu-latest
           # - windows-latest
         ocaml-version: