diff --git a/Jenkinsfile b/Jenkinsfile index b5e8cd36e..9cfe0b22d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -151,10 +151,10 @@ pipeline { } } } - } - post { - always { - cleanWs deleteDirs: true, patterns: [[pattern: '**/target/**', type: 'INCLUDE']] + post { + always { + cleanWs deleteDirs: true, patterns: [[pattern: '**/target/**', type: 'INCLUDE']] + } } } }