Update branch_Jenkinsfile

arjbingly · May 1, 2024 · 82c21b4 · 82c21b4
1 parent 118b2ff
commit 82c21b4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ci/branch_Jenkinsfile b/ci/branch_Jenkinsfile
@@ -70,6 +70,7 @@ 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'
                     }