From 5b2fcefde826e9afa102ef29a7629656eac90210 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Thu, 14 Dec 2023 11:08:22 -0800
Subject: [PATCH] Forgot to  before

---
 .github/workflows/tests.yml | 1 +
 1 file changed, 1 insertion(+)

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