diff --git a/Jenkinsfile b/Jenkinsfile index b4464fd..156eebf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -196,11 +196,8 @@ pipeline { // post-build actions post { always { - steps { - // restore the default maven settings mv "${agent_root_folder}/settings.${PIPELINE_BUILD_NUMBER}" "${agent_root_folder}/settings.xml" echo 'The default maven settings have been restored' - } } success { echo 'The pipeline worked!'