[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.

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1ab8f6fdbb9c7337fd34e4160ca0399e56b5ab75..6c7c4ed236b4b617548bfbd9d882bc3319ace569 100644 (file)
--- 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