Merge pull request #289 from jmid/fix-github-actions-on-mac

Run macOS runners Intel hardware as 4.08.1 does not support M1/ARM64
c-cube · Jun 28, 2024 · 2c31c62 · 2c31c62
2 parents 15a2477 + 7b4f48d
commit 2c31c62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -12,7 +12,7 @@ jobs:
     strategy:
       matrix:
         os:
-          - macos-latest
+          - macos-13
           - ubuntu-latest
           - windows-latest
         ocaml-compiler: