use macos-13 for intel

Certora · Dec 5, 2024 · 993c1ff · 993c1ff
1 parent ddf9b24
commit 993c1ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -42,7 +42,7 @@ jobs:
           path: out/platform-tools-osx-aarch64.tar.bz2
 
   build-mac-intel:
-    runs-on: macos-latest-large
+    runs-on: macos-13
     env:
       TAG: ${{ github.ref_name }}
     steps: