jenkinsfile: don't clean workspace

2018-04-25 23:32:32 +02:00 · 2018-04-25 23:32:32 +02:00 · fe01b9b4b9
parent f1314b8e03
commit fe01b9b4b9
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -27,7 +27,6 @@ pipeline {
                utils.publish_pylint('pylint.out')
                utils.mail_notify(currentBuild, env, 'admin+jenkins-combo@entrouvert.com')
            }
-            cleanWs()
        }
    }
 }