File tree Expand file tree Collapse file tree 2 files changed +8
-14
lines changed Expand file tree Collapse file tree 2 files changed +8
-14
lines changed Original file line number Diff line number Diff line change @@ -46,12 +46,13 @@ repos:
46
46
# args: [fix]
47
47
- repo : local
48
48
hooks :
49
- - id : mypy-local
50
- name : Run mypy for local Python installation
51
- entry : tools/mypy.sh 0 "local"
52
- language : system
53
- types : [python]
54
- stages : [pre-commit] # Don't run in CI
49
+ # For local development, you can run mypy using tools/mypy.sh script if needed.
50
+ # - id: mypy-local
51
+ # name: Run mypy for local Python installation
52
+ # entry: tools/mypy.sh 0 "local"
53
+ # language: system
54
+ # types: [python]
55
+ # stages: [pre-commit] # Don't run in CI
55
56
- id : mypy-3.9 # TODO: Use https://github.com/pre-commit/mirrors-mypy when mypy setup is less awkward
56
57
name : Run mypy for Python 3.9
57
58
entry : tools/mypy.sh 1 "3.9"
Original file line number Diff line number Diff line change 1
1
# formatting
2
- yapf==0.32.0
3
- toml==0.10.2
4
- tomli==2.0.2
5
- ruff==0.6.5
6
- codespell==2.3.0
7
- isort==5.13.2
8
- clang-format==18.1.5
9
- sphinx-lint==1.0.0
2
+ pre-commit==4.0.1
10
3
11
4
# type checking
12
5
mypy==1.15.0
You can’t perform that action at this time.
0 commit comments