diff --git a/Jenkinsfile b/Jenkinsfile index 5da43f843..6f0fc368b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,6 +20,7 @@ pipeline { sh "echo 'pull no no no" } } + } // steps { // script { // if (BRANCH_NAME != 'main' && env.CHANGE_ID){