diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index e4823068d..8df9cc99a 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -45,7 +45,7 @@ jobs: fi - name: Run tests run: | - if [[ "${{ matrix.value }}" == "z3-solver" ]]; then + if [[ "${{ matrix.dependency }}" == "z3-solver" ]]; then pytest -vv --cov python_ta --cov-config=.coveragerc --cov-report lcov --exclude_z3=True \ --ignore=tests/test_type_constraints --ignore=tests/test_type_inference \ --ignore=tests/test_debug/test_accumulation_table.py \