fix: fix typo in matrix value

pyta-uoft · Dec 28, 2024 · ba110ff · ba110ff
1 parent d766a6b
commit ba110ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 \