diff options
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r-- | .github/workflows/ci.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 810f4b925..35154828f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -82,6 +82,12 @@ jobs: python3 -m pip install \ Cython==0.29 --install-option="--no-cython-compile" + - name: Install Pytest + if: matrix.python-bindings + run: | + python3 -m pip install pytest + python3 -m pytest --version + - name: Restore Dependencies id: restore-deps uses: actions/cache@v1 @@ -160,6 +166,12 @@ 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' |