don't type check dev scripts

This commit is contained in:
deeplow 2022-08-22 11:56:44 +01:00
parent 23e30ae40a
commit 092456434b
No known key found for this signature in database
GPG key ID: 577982871529A52A
2 changed files with 2 additions and 5 deletions

View file

@ -27,10 +27,7 @@ mypy-host:
mypy-container:
mypy $(MYPY_ARGS) container
mypy-dev-scripts:
mypy $(MYPY_ARGS) install dev_scripts/* *.py
mypy: mypy-host mypy-container # mypy-dev-scripts ## check type hints with mypy
mypy: mypy-host mypy-container ## check type hints with mypy
.PHONY: lint
lint: lint-black lint-isort mypy ## check the code with various linters

View file

@ -379,7 +379,7 @@ class DangerzoneConverter:
png_filename,
ocr_filename,
"-l",
os.environ.get("OCR_LANGUAGE"), # type: ignore
os.environ.get("OCR_LANGUAGE"), # type: ignore
"--dpi",
"70",
"pdf",