From 783919e2595af55dcf0ed800aed2d35e991fc1df Mon Sep 17 00:00:00 2001 From: Sanchit Vijay Date: Wed, 1 May 2024 18:25:59 -0400 Subject: [PATCH] Update branch_Jenkinsfile --- ci/branch_Jenkinsfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ci/branch_Jenkinsfile b/ci/branch_Jenkinsfile index 2f5e0fb..34770c7 100644 --- 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' } } }