Add (re-add) publishing of solver libs

Lipen · Dec 8, 2020 · d2dd01a · d2dd01a
1 parent feb6344
commit d2dd01a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -109,3 +109,7 @@ jobs:
             kotlin-satlib-jni/build/lib/libjglucose.so
             kotlin-satlib-jni/build/lib/libjcadical.so
             kotlin-satlib-jni/build/lib/libjcms.so
+            kotlin-satlib-jni/solvers/minisat-src/install/lib/libminisat.so
+            kotlin-satlib-jni/solvers/glucose-src/install/lib/libglucose.so
+            kotlin-satlib-jni/solvers/cadical-src/install/lib/libcadical.so
+            kotlin-satlib-jni/solvers/cms-src/install/lib/libcryptominisat5.so