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