diff --git a/Jenkinsfile b/Jenkinsfile index 66c4211..1981d50 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -164,6 +164,7 @@ pipeline { steps { script { if ( ("${resume}" == 'true') && (jobs['maven-parent'] == 'SUCCESS') ) { + echo "Skipping maven-parent" // propagate success sh "echo -e \\\"maven-parent,SUCCESS\\\">> $JOB_REPORT" } else {