Remove minisat fixup

Lipen · Mar 1, 2024 · 1085015 · 1085015
1 parent 56bacbb
commit 1085015
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -82,7 +82,6 @@ jobs:
         working-directory: kotlin-satlib-jni
         run: |
           ls -al --group-directories-first solvers/*-src/install/lib
-          cp --remove-destination $(readlink -f solvers/minisat-src/install/lib/x86_64-linux-gnu/libminisat.so) solvers/minisat-src/install/lib/x86_64-linux-gnu/libminisat.so
           cp --remove-destination $(readlink -f solvers/cms-src/install/lib/libcryptominisat5.so) solvers/cms-src/install/lib/libcryptominisat5.so
 
       - name: Set up ld cache