From 10850159540e3c9ba588b7aae3157c7568f34ce2 Mon Sep 17 00:00:00 2001 From: Konstantin Chukharev Date: Fri, 1 Mar 2024 19:18:49 +0300 Subject: [PATCH] Remove minisat fixup --- .github/workflows/ci.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eb19bd4..77247e5 100644 --- 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