Index: Jenkinsfile
===================================================================
diff -u -N -r4baaac6ce0210328ae99e5e5c251c67a44303618 -r69cd7b4ac1ea493b2e72152fdd48742122adb6c3
--- Jenkinsfile	(.../Jenkinsfile)	(revision 4baaac6ce0210328ae99e5e5c251c67a44303618)
+++ Jenkinsfile	(.../Jenkinsfile)	(revision 69cd7b4ac1ea493b2e72152fdd48742122adb6c3)
@@ -88,11 +88,6 @@
                         notifyAfterFailure()
                     }
                 }
-                cleanup {
-                    script {
-                        sh "sudo rm -rf ${WORKSPACE}/{*,.*} || true"
-                    }
-                }
             }
         }
         stage('Build reference-ui') {