Merge branch 'develop' into _update-deps/runtimeverification/hs-backe…

…nd-booster
runtimeverification · Oct 10, 2023 · acea8d7 · acea8d7
2 parents 677a4c9 + 2da33e0
commit acea8d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -302,7 +302,7 @@ jobs:
 
   macos-test:
     name: 'Test MacOS Package'
-    runs-on: macos-11
+    runs-on: macos-13
     timeout-minutes: 60
     environment: production
     needs: [macos-build, set-release-id]