diff --git a/Jenkinsfile b/Jenkinsfile
index 81619af..7e54faa 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,7 +16,7 @@ pipeline {
     stage('Python') {
       steps {
         sh '/usr/local/bin/python3.7 -m venv env'
-        sh 'env/bin/pip install -r requirements.txt'
+        sh 'env/bin/pip install -r requirements.ci.txt'
      }
     }
    }
diff --git a/requirements.ci.txt b/requirements.ci.txt
new file mode 100644
index 0000000..6a02ea3
--- /dev/null
+++ b/requirements.ci.txt
@@ -0,0 +1,5 @@
+mypy==0.770
+mypy-extensions==0.4.3
+typed-ast==1.4.1
+typing-extensions==3.7.4.2
+websockets==8.1