diff --git a/Jenkinsfile b/Jenkinsfile index 1ba70cb..91d1b69 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -95,7 +95,6 @@ pipeline { echo "Create a fresh local repository" rm -rf $MAVEN_LOCAL_REPO mkdir -p $MAVEN_LOCAL_REPO - // default the selected maven settings mv "${AGENT_ROOT_FOLDER}/settings.xml" "${AGENT_ROOT_FOLDER}/settings.${PIPELINE_BUILD_NUMBER}" cp "${AGENT_ROOT_FOLDER}/${MAVEN_SETTINGS_FILE}" "${AGENT_ROOT_FOLDER}/settings.xml" echo "Done with local repository" @@ -208,13 +207,13 @@ pipeline { success { echo 'The pipeline worked!' mail to: 'jenkinsbuilds@d4science.org', - subject: "gCube pipeline worked: ${currentBuild.fullDisplayName}", - body: "Something is wrong with ${env.BUILD_URL}" + subject: "gCube pipeline worked: ${currentBuild.fullDisplayName} worked1", + body: "See ${env.BUILD_URL}" } failure { echo 'The pipeline has failed' mail to: 'jenkinsbuilds@d4science.org', - subject: "gCube pipeline has failed: ${currentBuild.fullDisplayName}", + subject: "${currentBuild.fullDisplayName} has failed", body: "Something is wrong with ${env.BUILD_URL}" }