From c4151ec7cb1ec1bd7d5e044681b221fda8764e88 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Fri, 12 Apr 2024 04:25:37 +0200
Subject: [PATCH] Update build.yml

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 95f0047..2c83dbb 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -82,7 +82,7 @@ jobs:
        cd cryptominisat
        mkdir build && cd build
        cmake -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} ..
-       cmake --build . --config ${{env.BUILD_TYPE}}
+       cmake --build .
        cd ../..
     
     - name: Checkout SBVA