diff --git a/ci/branch_Jenkinsfile b/ci/branch_Jenkinsfile index 473746a..2f5e0fb 100644 --- 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' } } }