added mypy type-requests

arjbingly · May 1, 2024 · afd150e · afd150e
1 parent 783919e
commit afd150e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
@@ -70,6 +70,7 @@ 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 --junit-xml mypy-report.xml'
                     }