diff --git a/Jenkinsfile b/Jenkinsfile index e2d6b16f1..010b2345c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -40,9 +40,8 @@ pipeline { } post { - always { - cleanWs() - } - } + always { + cleanWs() } + } }