diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml index 6c0d2684..eaa6074c 100644 --- a/.github/workflows/test-long.yml +++ b/.github/workflows/test-long.yml @@ -41,4 +41,4 @@ jobs: run: pip install -e . - name: Run pytest - run: pytest -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --error-unknown --solver-timeout-assertion 0" + run: pytest -vvv tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --error-unknown --solver-timeout-assertion 0"