diff --git a/Jenkinsfile b/Jenkinsfile index 7871a347..dea1a782 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -93,7 +93,7 @@ try { /* Publish results */ stage("publish") { timeout(time: 1, unit: 'HOURS') { def commit = sh(returnStdout: true, script: "git rev-parse HEAD").trim() - def release = sh(returnStdout: true, script: "git describe --exact-match HEAD || true").trim() + def release = env.BRANCH_NAME.toCharacter().isLetter() || sh(returnStdout: true, script: "git describe --exact-match HEAD || true").trim() def workDir = pwd() /* Update documention on gh-pages branch */ dir("$workDir/gh-pages") {