diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-02 10:19:35 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-02 17:19:35 +0000 |
| commit | c80329233a0baf3e56bfd4a341f8314309bfc263 (patch) | |
| tree | a482524e191b46911a252fb55c164e37038d4f78 /.github | |
| parent | 66b67160df9ce4974039a1c137e84c859fad5237 (diff) | |
[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.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 6 insertions, 0 deletions
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 |