jenkinsfile: expand tabs

2018-04-25 20:39:40 +02:00 · 2018-04-25 20:39:40 +02:00 · d8cff80906
parent f8384ccae3
commit d8cff80906
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -24,10 +24,10 @@ pipeline {
            script {
                utils = new Utils()
                utils.publish_coverage('coverage.xml')
-		utils.publish_pylint('pylint.out')
+                utils.publish_pylint('pylint.out')
                utils.mail_notify(currentBuild, env, 'admin+jenkins-combo@entrouvert.com')
            }
-	    cleanWs()
+            cleanWs()
        }
    }
 }