test: update ci pipeline

pyta-uoft · Dec 28, 2024 · 665b8dd · 665b8dd
1 parent 19a3981
commit 665b8dd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -46,7 +46,7 @@ jobs:
       - name: Run tests
         run: |
           if [[ "${{ matrix.dependency }}" == "z3-solver" ]]; then
-            pytest -vv --cov python_ta --cov-config=.coveragerc --cov-report lcov \
+            pytest tests -vv --cov python_ta --cov-config=.coveragerc --cov-report lcov \
               --ignore=tests/test_type_constraints --ignore=tests/test_type_inference \
               --ignore=tests/test_debug/test_accumulation_table.py \
               --ignore=tests/test_debug/test_recursion_table.py \
@@ -56,7 +56,7 @@ jobs:
               tests/test_debug/test_recursion_table.py \
               tests/test_debug/test_snapshot_tracer.py
           else
-            pytest -vv --cov python_ta --cov-config=.coveragerc --cov-report lcov --exclude-z3 \
+            pytest tests -vv --cov python_ta --cov-config=.coveragerc --cov-report lcov --exclude-z3 \
               --ignore=tests/test_type_constraints --ignore=tests/test_type_inference \
               --ignore=tests/test_debug/test_accumulation_table.py \
               --ignore=tests/test_debug/test_recursion_table.py \