fixing ci

meelgroup · Jan 23, 2025 · 5e77a4e · 5e77a4e
1 parent 8c97b4c
commit 5e77a4e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -59,7 +59,7 @@ jobs:
       run: |
         mkdir build
         cd build
-        ${{ matrix.env }} cmake -DNOCRYPTOMINISAT:BOOL=OFF -DENABLE_TESTING:BOOL=ON -DPYTHON_EXECUTABLE:PATH="$(which python3)" -G Ninja ..
+        cmake -DNOCRYPTOMINISAT:BOOL=ON -DENABLE_TESTING:BOOL=OFF -DPYTHON_EXECUTABLE:PATH="$(which python3)" ..
 
     - name: Build
       run: cmake --build . --parallel "$(nproc)"