diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/lint.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 58860bd8c..e8cd37341 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -46,7 +46,8 @@ jobs: - uses: actions/setup-python@v4 with: python-version: '3.x' - - run: python -m pip install mypy coverage strictyaml types-PyYAML types-tqdm types-chevron + # Pin mypy to version 1.8, so we retain the ability to lint for Python 3.7 + - run: python -m pip install "mypy==1.8" coverage strictyaml types-PyYAML types-tqdm types-chevron - run: python run_mypy.py --allver env: PYTHONUNBUFFERED: 1 |