From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 2 Sep 2021 17:19:35 +0000 (-0700)
Subject: [CI] Add step for running unit/API tests (#7116)
X-Git-Tag: cvc5-1.0.0~1291
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c80329233a0baf3e56bfd4a341f8314309bfc263;p=cvc5.git

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