aboutsummaryrefslogtreecommitdiff
path: root/Pipfile
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fl.fischer@fau.de>2020-07-11 16:59:33 +0200
committerFlorian Fischer <florian.fl.fischer@fau.de>2020-07-11 16:59:33 +0200
commit49fbbb730a47b5f97f9e956d9b7c6cf8616812a5 (patch)
treedcb9a7eecc1674197d7ba237c428c91f8dfac24d /Pipfile
parent503966ab0c9357a029d384600afa06239490d9c1 (diff)
downloadallocbench-49fbbb730a47b5f97f9e956d9b7c6cf8616812a5.tar.gz
allocbench-49fbbb730a47b5f97f9e956d9b7c6cf8616812a5.zip
[make] add check-mypy target and add mypy as dev dependency
Diffstat (limited to 'Pipfile')
-rw-r--r--Pipfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Pipfile b/Pipfile
index 1fdec70..786bdcd 100644
--- a/Pipfile
+++ b/Pipfile
@@ -6,6 +6,7 @@ verify_ssl = true
[dev-packages]
yapf = "*"
pylint = "*"
+mypy = "*"
[packages]
numpy = "*"