Use macos-13 everywhere (#3697)

A recent change to update the version of macOS we use to perform Homebrew CI has led to the versions getting out of sync; this PR ensures that they're consistent.
runtimeverification · Oct 10, 2023 · 2da33e0 · 2da33e0
1 parent 66da7c4
commit 2da33e0
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]