mypy in pre-commit fixed (#2117)

* mypy in pre-commit fixed

* polishing
This commit is contained in:
Davor Runje 2024-03-21 19:54:39 +01:00 committed by GitHub
parent a6a7409ac8
commit fafc29eeef
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 1 deletions

View File

@ -53,7 +53,7 @@ repos:
language: python language: python
# use your preferred Python version # use your preferred Python version
# language_version: python3.8 # language_version: python3.8
additional_dependencies: [".[types]"] additional_dependencies: []
types: [python] types: [python]
# use require_serial so that script # use require_serial so that script
# is only called once per commit # is only called once per commit

View File

@ -10,4 +10,6 @@ set -o errexit
# Change directory to the project root directory. # Change directory to the project root directory.
cd "$(dirname "$0")"/.. cd "$(dirname "$0")"/..
pip install -q -e .[types]
mypy mypy