Revert accidentally deleted line

This commit is contained in:
Hynek Schlawack 2023-06-12 07:59:48 +02:00
parent 942fd76d41
commit 2dd16058c2
No known key found for this signature in database
GPG Key ID: AE2536227F69F181
1 changed files with 2 additions and 0 deletions

View File

@ -112,6 +112,8 @@ jobs:
python-version: "3.11"
cache: pip
- run: python -Im pip install --upgrade tox
- run: python -Im tox run -e docs,changelog
mypy: