From 9a21fbe0ee1bc2077ab3cc6bd4c2ea63991e1a5d Mon Sep 17 00:00:00 2001 From: dos65 Date: Thu, 24 May 2018 13:58:33 +0300 Subject: [PATCH] jenkins - clean before docs/publish --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkinsfile b/Jenkinsfile index f67d51da5..5c8a93d54 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -28,6 +28,7 @@ node("JenkinsOnDemand") { checkout scm sh "cd ${env.WORKSPACE}" sh "git fetch --tags" + sh "${env.WORKSPACE}/sbt/sbt clean" } if (publishDocs()) {