Merge remote-tracking branch 'origin/develop'

runtimeverification · Oct 10, 2023 · 1ca45b7 · 1ca45b7
2 parents 5cab259 + 2da33e0
commit 1ca45b7
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]