From 54f54748ab832b470df6d0905e864c6f14c9bab3 Mon Sep 17 00:00:00 2001 From: smukesh Date: Sat, 15 Sep 2018 15:28:02 +0530 Subject: [PATCH] Update Jenkinsfile --- jenkins/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 365ae89..0553c53 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -48,7 +48,7 @@ pipeline { { "pattern": "dist/add2vals", "target": "add2vals/${BUILD_NUMBER}/", - "props": "Integration-Tested=Yes;Performance-Tested=No" + "props": "Integration-Tested=No;Performance-Tested=No" } ] }"""