diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index dfc0cd3d7..16b0e64a9 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -62,9 +62,9 @@ jobs: - name: Install dependencies run: | python -m pip install --upgrade pip - python -m pip install --upgrade "mypy==1.8.0" docutils-stubs types-requests + python -m pip install ".[lint,test]" - name: Type check with mypy - run: mypy sphinx/ + run: mypy docs-lint: runs-on: ubuntu-latest diff --git a/pyproject.toml b/pyproject.toml index 1abd124f0..9e3f4df91 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -130,6 +130,7 @@ exclude = [ ] [tool.mypy] +files = ["sphinx"] check_untyped_defs = true disallow_incomplete_defs = true follow_imports = "skip"