mirror of
https://github.com/triqs/dft_tools
synced 2025-01-09 20:48:36 +01:00
[jenkins] check branch name in simpler way
that works
This commit is contained in:
parent
d64b27495e
commit
6177707c73
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
@ -93,7 +93,7 @@ try {
|
|||||||
/* Publish results */
|
/* Publish results */
|
||||||
stage("publish") { timeout(time: 1, unit: 'HOURS') {
|
stage("publish") { timeout(time: 1, unit: 'HOURS') {
|
||||||
def commit = sh(returnStdout: true, script: "git rev-parse HEAD").trim()
|
def commit = sh(returnStdout: true, script: "git rev-parse HEAD").trim()
|
||||||
def release = env.BRANCH_NAME.toCharacter().isLetter() || sh(returnStdout: true, script: "git describe --exact-match HEAD || true").trim()
|
def release = env.BRANCH_NAME == "master" || env.BRANCH_NAME == "unstable" || sh(returnStdout: true, script: "git describe --exact-match HEAD || true").trim()
|
||||||
def workDir = pwd()
|
def workDir = pwd()
|
||||||
/* Update documention on gh-pages branch */
|
/* Update documention on gh-pages branch */
|
||||||
dir("$workDir/gh-pages") {
|
dir("$workDir/gh-pages") {
|
||||||
|
Loading…
Reference in New Issue
Block a user