diff --git a/Jenkinsfile b/Jenkinsfile index 988582d..e39d61c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -52,10 +52,4 @@ pipeline { } } } - - post { - always { - // Clean up the workspace after the build - } - } }