Fix the MacOsBuild on GitHub actions (#1641)

So far we used `macos-12` which is now deprecated and often leads to internal errors because of the reduced capacities of these runners.
ad-freiburg · Nov 26, 2024 · add092a · add092a
1 parent edc2889
commit add092a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
@@ -21,7 +21,7 @@ jobs:
       fail-fast: false
       matrix:
         build-type: [Release]
-    runs-on: macos-12
+    runs-on: macos-13
     steps:
       - uses: actions/checkout@v4
         with: