diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/unit_tests.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/unit_tests.yaml b/.github/workflows/unit_tests.yaml index d4bd640d07..10432c657e 100644 --- a/.github/workflows/unit_tests.yaml +++ b/.github/workflows/unit_tests.yaml @@ -165,6 +165,7 @@ jobs: - name: Install Python packages run: | pip install --upgrade pip setuptools pytest coverage[toml] pytest-cov clingo pytest-xdist + pip install --upgrade flake8 "isort>=4.3.5" "mypy>=0.900" "click" "black" - name: Setup git configuration run: | # Need this for the git tests to succeed. |