CI: skip macos builds

There is an issue with gmp.h not found at the moment.
thvnx · May 13, 2024 · 6403809 · 6403809
1 parent f69644f
commit 6403809
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,7 +10,7 @@ jobs:
   main:
     strategy:
       matrix:
-        platform: [ubuntu-latest, macos-latest]
+        platform: [ubuntu-latest] # macos-latest
         ocaml-compiler: [4.12.1, 4.14.0, 5.0.0, 5.1.1, 5.2.0]
     runs-on: ${{ matrix.platform }}