Use 1.9.5 branch of cadical fork

Lipen · Mar 2, 2024 · 27a64a5 · 27a64a5
1 parent 5803c00
commit 27a64a5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -49,7 +49,7 @@ jobs:
       - name: Build Cadical
         working-directory: kotlin-satlib-jni
         run: |
-          git clone --depth=1 --branch lipen/1.9.4 https://github.com/Lipen/cadical solvers/cadical-src
+          git clone --depth=1 --branch lipen/1.9.5 https://github.com/Lipen/cadical solvers/cadical-src
           cd solvers/cadical-src
           ./configure -fPIC
           make -j8 shared
@@ -176,7 +176,7 @@ jobs:
       - name: Build Cadical
         working-directory: kotlin-satlib-jni
         run: |
-          git clone --depth=1 --branch lipen/1.9.4 https://github.com/Lipen/cadical solvers/cadical-src
+          git clone --depth=1 --branch lipen/1.9.5 https://github.com/Lipen/cadical solvers/cadical-src
           cd solvers/cadical-src
           ./configure -fPIC
           make -j8 dll