diff --git a/Jenkinsfile b/Jenkinsfile index ef40b113ac..fde917b64b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -142,7 +142,7 @@ pipeline { } } // stage('Parallel test stage') { - // //only build pr + // options { skipDefaultCheckout() } // when { // allOf{