Update branch_Jenkinsfile

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