Forgot to before

emina · Dec 14, 2023 · 5b2fcef · 5b2fcef
1 parent 974d8e4
commit 5b2fcef
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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