diff --git a/Jenkinsfile.ci b/Jenkinsfile.ci index d6da3ea..2de7f6a 100644 --- a/Jenkinsfile.ci +++ b/Jenkinsfile.ci @@ -94,7 +94,11 @@ pipeline { post { always { - cleanWs() + script { + node { + cleanWs() + } + } } } }