Update branch_Jenkinsfile

arjbingly · May 1, 2024 · 783919e · 783919e
1 parent b06280a
commit 783919e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ci/branch_Jenkinsfile b/ci/branch_Jenkinsfile
@@ -70,8 +70,9 @@ pipeline {
             steps {
                 withPythonEnv(PYTHONPATH){
                     sh 'pip install mypy'
+                    sh 'python3 -m pip install types-requests'
                     catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE'){
-                        sh 'python3 -m mypy -p src.grag --install-types --junit-xml mypy-report.xml'
+                        sh 'python3 -m mypy -p src.grag --junit-xml mypy-report.xml'
                     }
                 }
             }