Skip to content

Commit

Permalink
[CI] update mypy CI job to use local config (#12013)
Browse files Browse the repository at this point in the history
Co-authored-by: daniel.eades <[email protected]>
Co-authored-by: Bénédikt Tran <[email protected]>
  • Loading branch information
3 people committed Feb 26, 2024
1 parent adde256 commit d6f38ad
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 1 addition & 0 deletions pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -130,6 +130,7 @@ exclude = [
]

[tool.mypy]
files = ["sphinx"]
check_untyped_defs = true
disallow_incomplete_defs = true
follow_imports = "skip"
Expand Down

0 comments on commit d6f38ad

Please sign in to comment.