chore: add deps mypy

spotify · Sep 20, 2024 · d928f58 · d928f58
1 parent bed82e8
commit d928f58
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tox.ini b/tox.ini
@@ -61,6 +61,7 @@ deps =
     prometheus-client>=0.5.0,<0.15
     dropbox: dropbox>=11.0.0
     jsonschema
+    mypy
 passenv =
     USER JAVA_HOME POSTGRES_USER DATAPROC_TEST_PROJECT_ID GCS_TEST_PROJECT_ID GCS_TEST_BUCKET GOOGLE_APPLICATION_CREDENTIALS TRAVIS_BUILD_ID TRAVIS TRAVIS_BRANCH TRAVIS_JOB_NUMBER TRAVIS_PULL_REQUEST TRAVIS_JOB_ID TRAVIS_REPO_SLUG TRAVIS_COMMIT CI DROPBOX_APP_TOKEN DOCKERHUB_TOKEN GITHUB_ACTIONS OVERRIDE_SKIP_CI_TESTS
 setenv =