Add mypy to circleci

6 years ago · 37d98891d5
parent 0cea8f5627
commit 37d98891d5
1 changed files with 5 additions and 0 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -52,6 +52,11 @@ jobs:
      - store_artifacts:
          path: /home/mythril/.tox/output

+      - run:
+          name: Type testing
+          command: mypy .
+          working_directory: /home/mythril
+
      - run:
          name: Ensuring that setup script is functional
          command: python3 setup.py install