Merge remote-tracking branch 'origin/develop' into _update-deps/runti…

…meverification/llvm-backend
runtimeverification · Oct 10, 2023 · 2534f73 · 2534f73
2 parents 16ebe70 + 2da33e0
commit 2534f73
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]