Fixing again workflows/macos-build.yml

marekpiotrow · Apr 28, 2024 · 01b6126 · 01b6126
1 parent 5d65eba
commit 01b6126
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/macos-build.yml b/.github/workflows/macos-build.yml
@@ -15,8 +15,8 @@ jobs:
     - uses: actions/checkout@v4
     - name: install gmp
       run: |
-        brew update
-        brew install gmp
+        brew list gmp | grep "gmp.h"
+        brew list gmp | grep "libgmp10.dylib"
     - name: build COMiniSatPS
       run: |
         cd ..