diff options
| author | Nikita Sobolev <mail@sobolevn.me> | 2023-08-28 20:04:12 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-28 20:04:12 (GMT) |
| commit | cf7ba83eb274df8389cb9ebdf8601132c47de48a (patch) | |
| tree | b67c1bc625d4645d00bd88e6c31ea91fe41680fa /Tools/requirements-dev.txt | |
| parent | f75cefd402c4c830228d85ca3442377ebaf09454 (diff) | |
| download | cpython-cf7ba83eb274df8389cb9ebdf8601132c47de48a.zip cpython-cf7ba83eb274df8389cb9ebdf8601132c47de48a.tar.gz cpython-cf7ba83eb274df8389cb9ebdf8601132c47de48a.tar.bz2 | |
gh-108455: Run `mypy` on `Tools/peg_generator` (#108456)
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Diffstat (limited to 'Tools/requirements-dev.txt')
| -rw-r--r-- | Tools/requirements-dev.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/requirements-dev.txt b/Tools/requirements-dev.txt index 111773f..b814169 100644 --- a/Tools/requirements-dev.txt +++ b/Tools/requirements-dev.txt @@ -1,3 +1,3 @@ # Requirements file for external linters and checks we run on -# Tools/clinic and Tools/cases_generator/ in CI +# Tools/clinic, Tools/cases_generator/, and Tools/peg_generator/ in CI mypy==1.5.1 |