diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 68b49b4..7fb6947 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -61,9 +61,9 @@ pipeline {
       } }
     }
   }
-  post {
-    always { cleanWs() }
-  }
+//  post {
+//    always { cleanWs() }
+//  }
 }
 
 def buildExample(example=STAGE_NAME) {