From 01b6126c77e089616a56c0e03e30d101b58e17b4 Mon Sep 17 00:00:00 2001
From: M Piotrow <marek.piotrow@cs.uni.wroc.pl>
Date: Sun, 28 Apr 2024 09:50:16 +0200
Subject: [PATCH] Fixing again workflows/macos-build.yml

---
 .github/workflows/macos-build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/macos-build.yml b/.github/workflows/macos-build.yml
index 38ece30..aeff5f6 100644
--- 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 ..