diff --git a/Jenkinsfile b/Jenkinsfile index a78851fd90..9a4515278a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -273,18 +273,7 @@ pipeline { } } } - stage('after_build'){ - agent{label 'master'} - when { - changeRequest() - } - steps { - sh''' - df -h - ''' - } - } - } + post { success { emailext (