Index: Jenkinsfile
===================================================================
diff -u -N -rf805851e72e489ed6ab579ba4d4975352b04179f -re56c40421163382dfe06b455db78e5316b2afca4
--- Jenkinsfile	(.../Jenkinsfile)	(revision f805851e72e489ed6ab579ba4d4975352b04179f)
+++ Jenkinsfile	(.../Jenkinsfile)	(revision e56c40421163382dfe06b455db78e5316b2afca4)
@@ -88,11 +88,6 @@
                         notifyAfterFailure()
                     }
                 }
-                cleanup {
-                    script {
-                        sh "sudo rm -rf ${WORKSPACE}/{*,.*} || true"
-                    }
-                }
             }
         }
         stage('Build reference-ui') {