summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJon Dufresne <jon.dufresne@gmail.com>2020-06-18 17:35:08 -0700
committerGitHub <noreply@github.com>2020-06-19 06:35:08 +0600
commit07210eef3741781e0483cec656b99477c9185732 (patch)
tree39b12a7bb52f525294c4b6cf1f91ec6f62ebda65
parent5de3023c4c95554b70a455da5fa75b3d17478d89 (diff)
downloadpyjwt-07210eef3741781e0483cec656b99477c9185732.tar.gz
Specify the target Python version for mypy (#497)
-rw-r--r--tox.ini2
1 files changed, 1 insertions, 1 deletions
diff --git a/tox.ini b/tox.ini
index 6e15948..8e14a53 100644
--- a/tox.ini
+++ b/tox.ini
@@ -18,7 +18,7 @@ deps =
[testenv:typing]
deps = mypy
-commands = mypy --ignore-missing-imports jwt
+commands = mypy --python-version 3.5 --ignore-missing-imports jwt
[testenv:lint]