diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 87680a2..0c04093 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -62,9 +62,9 @@ pipeline { } } } } -// post { -// always { cleanWs() } -// } + post { + always { cleanWs() } + } } def buildExample(example=STAGE_NAME) {