diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 90033bfa..6f7119c0 100644 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -43,3 +43,10 @@ repos: entry: npm exec --yes -- jshint language: system files: ^mkdocs/.*\.js$ + - id: mypy + name: mypy + entry: hatch run types:check + language: system + pass_filenames: false + always_run: false + require_serial: true