diff --git a/Jenkinsfile b/Jenkinsfile index 9a4515278acc90aa5d657a62eb43f5d7109bb604..e7603b578bf2c7718e67fbd9fda1674db49c07c0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -273,7 +273,7 @@ pipeline { } } } - + } post { success { emailext (