From b06280a63b71a49b9f5546b1e842f31caa20c7f5 Mon Sep 17 00:00:00 2001
From: Sanchit Vijay <sanchitvj1026@gmail.com>
Date: Wed, 1 May 2024 18:19:38 -0400
Subject: [PATCH] Update branch_Jenkinsfile

---
 ci/branch_Jenkinsfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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'
                     }
                 }
             }