From c80329233a0baf3e56bfd4a341f8314309bfc263 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 2 Sep 2021 10:19:35 -0700
Subject: [PATCH] [CI] Add step for running unit/API tests (#7116)

Currently, we configure one of our builds to include unit tests but then
do not compile and run them. This commit adds a step to compile and run
the unit/API tests.
---
 .github/workflows/ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1ab8f6fdb..6c7c4ed23 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -38,6 +38,7 @@ jobs:
             os: ubuntu-18.04
             config: production --auto-download --assertions --tracing --unit-testing --editline
             cache-key: dbg
+            check-units: true
             exclude_regress: 3-4
             run_regression_args: --no-check-unsat-cores
 
@@ -207,6 +208,11 @@ jobs:
         RUN_REGRESSION_ARGS: ${{ matrix.run_regression_args }}
       working-directory: build
 
+    - name: Run Unit Tests
+      if: matrix.check-units
+      run: make -j${{ env.num_proc }} apitests units
+      working-directory: build
+
     - name: Install Check
       run: |
         make -j${{ env.num_proc }} install
-- 
2.30.2