Fix artifacts

Author: msoos

.github/workflows/binary-build.yml

@@ -103,39 +103,30 @@ jobs:
       if: matrix.os == 'ubuntu-latest'
       run: git submodule update --init
 
-    - name: Configure & build for linux
-      if: matrix.os == 'ubuntu-latest'
+    - name: Configure & build
       run: |
         cd cryptominisat
-        cmake -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=OFF  -DSTATICCOMPILE=${{ matrix.staticcompile }}
+        mkdir -p build && cd build
+        cmake -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }} ..
         cmake --build . --config ${{ matrix.build_type }}
 
-    
-    - name: Configure & buidl for non-linux
-      if: matrix.os != 'ubuntu-latest'
-      run: |
-        cd cryptominisat
-        cmake -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }}
-        cmake --build . --config ${{ matrix.build_type }}
-        ctest -C ${{ matrix.build_type }}
-
     - name: Upload Artifact - Linux
       if: matrix.os == 'ubuntu-latest' && matrix.staticcompile == 'ON'
       uses: actions/upload-artifact@v4
-      with:     
+      with:
         name: cryptominisat5-linux-amd64
-        path: cryptominisat5
+        path: cryptominisat/build/cryptominisat5
 
     - name: Upload Artifact - Mac
       if: matrix.os == 'macos-14' && matrix.staticcompile == 'ON'
       uses: actions/upload-artifact@v4
       with:
         name: cryptominisat5-mac-arm64
-        path: cryptominisat5
+        path: cryptominisat/build/cryptominisat5
 
     - name: Upload Artifact - Windows
       if: matrix.os == 'windows-2022' && matrix.staticcompile == 'ON'
       uses: actions/upload-artifact@v4
       with:
         name: cryptominisat5-win64.exe
-        path: Release\cryptominisat5.exe
+        path: cryptominisat\build\Release\cryptominisat5.exe