diff --git a/Jenkinsfile-Adm b/Jenkinsfile-Adm index f2f6293e3..7ee89e7f5 100644 --- a/Jenkinsfile-Adm +++ b/Jenkinsfile-Adm @@ -223,7 +223,7 @@ pipeline { } } } - + post { success { script {