diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
index 1a8fea1cf3f..2d09cf0b73b 100644
--- a/.github/workflows/pull-request-checks.yaml
+++ b/.github/workflows/pull-request-checks.yaml
@@ -730,7 +730,7 @@ jobs:
           echo "CLCACHE_BASEDIR=$((Get-Item -Path '.\').FullName)" >> $env:GITHUB_ENV
           echo "CLCACHE_DIR=$pwd\.ccache" >> $env:GITHUB_ENV
       - name: Configure with cmake
-        run: cmake -S . -B build
+        run: cmake -S . -B build -Dsat_impl="minisat2;cadical"
       - name: Zero ccache stats and limit in size (2 GB)
         run: |
           clcache -z
@@ -858,7 +858,7 @@ jobs:
           echo "CLCACHE_BASEDIR=$((Get-Item -Path '.\').FullName)" >> $env:GITHUB_ENV
           echo "CLCACHE_DIR=$pwd\.ccache" >> $env:GITHUB_ENV
       - name: Configure with cmake
-        run: cmake -S . -B build
+        run: cmake -S . -B build -Dsat_impl="minisat2;cadical"
       - name: Build Release
         run: cmake --build build --config Release -- /p:UseMultiToolTask=true /p:CLToolExe=clcache
       - name: Print ccache stats
diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
index 003a0d957b1..b49d8fa91c5 100644
--- a/src/solvers/CMakeLists.txt
+++ b/src/solvers/CMakeLists.txt
@@ -124,7 +124,7 @@ foreach(SOLVER ${sat_impl})
             URL https://github.com/arminbiere/cadical/archive/rel-2.0.0.tar.gz
             PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/../scripts/cadical-2.0.0-patch
             COMMAND cmake -E copy ${CBMC_SOURCE_DIR}/../scripts/cadical_CMakeLists.txt CMakeLists.txt
-            COMMAND ./configure
+            COMMAND sh ./configure
             URL_MD5 9fc2a66196b86adceb822a583318cc35
         )
 
@@ -146,7 +146,7 @@ foreach(SOLVER ${sat_impl})
         download_project(PROJ cadical
             URL https://github.com/arminbiere/cadical/archive/rel-2.0.0.tar.gz
             PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/../scripts/cadical-2.0.0-patch
-            COMMAND ./configure
+            COMMAND sh ./configure
             URL_MD5 9fc2a66196b86adceb822a583318cc35
         )