diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 49553c36..b6357f54 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -83,6 +83,7 @@ jobs:
           pushd yices2 &&
           autoconf &&
           ./configure --prefix=$PWD/out/ &&
+          make &&
           make install &&
           popd &&
           cp yices2/out/bin/yices-smt2 bin/yices-smt2