diff options
| author | makaimann <makaim@stanford.edu> | 2020-11-02 16:17:21 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-02 16:17:21 -0800 |
| commit | 116114d9277f7b706e30f4c7af3a531e3f75fe86 (patch) | |
| tree | 6ebb38e127f46d1e6d89aa8bb7e7afa6fc1ad8fb /.github | |
| parent | 5eb06a56099612e96303429fd8a9158ed8ad3121 (diff) | |
Run python tests during make check (#5226)
If building with python bindings, check the pytest is installed, and adds a command to run pytest after the existing make check tests. If built without python bindings, it just uses a null command. Note: the current semantics are such that the pytest tests will not run if the ctest run fails (unless you pass the correct flag to make to continue --ignore-errors I believe). I can look into changing this semantics if that would be preferred.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b8fefd401..04b36130e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -188,12 +188,6 @@ jobs: export PYTHONPATH="$PYTHONPATH:$(dirname $(find build/install/ -name "pycvc4" -type d))" python3 -c "import pycvc4" - - name: Run Pytest - if: matrix.python-bindings - run: | - export PYTHONPATH="$PYTHONPATH:$(dirname $(find build/install/ -name "pycvc4" -type d))" - python3 -m pytest ./test/unit/api/python - # Examples are built for non-symfpu builds - name: Check Examples if: matrix.check-examples && runner.os == 'Linux' |