Merge "Chore: Update Centos7/Ubuntu18.04 nodes"

[ci-management.git] / jjb / integration / integration-data-provider.yaml

diff --git a/jjb/integration/integration-data-provider.yaml b/jjb/integration/integration-data-provider.yaml
index d8a719c..92a46d9 100644 (file)
--- a/jjb/integration/integration-data-provider.yaml
+++ b/jjb/integration/integration-data-provider.yaml
@@ -49,6 +49,10 @@
           tox-dir: '.'
           tox-envs: 'cov'
           pattern: '**/*.py'
+      - 'mypy':
+          tox-dir: '.'
+          tox-envs: 'mypy'
+          pattern: '**/*.py'
     stream:
       - 'master':
           branch: 'master'