Download and build cadical in check-ubuntu-20_04-make-gcc

Author: zhassan-aws

.github/workflows/pull-request-checks.yaml

@@ -50,6 +50,7 @@ jobs:
           git clone https://github.com/conp-solutions/riss riss.git
           cmake -Hriss.git -Briss.git/release -DCMAKE_BUILD_TYPE=Release
           make -C riss.git/release riss-coprocessor-lib-static -j2
+          make -C src cadical-download
           make -C src -j2 CXX="ccache g++" LIBS="$PWD/riss.git/release/lib/libriss-coprocessor.a -lpthread" IPASIR=$PWD/riss.git/riss
           make -C jbmc/src -j2 CXX="ccache g++" LIBS="$PWD/riss.git/release/lib/libriss-coprocessor.a -lpthread" IPASIR=$PWD/riss.git/riss