mirror of
https://github.com/triqs/dft_tools
synced 2024-12-23 04:43:42 +01:00
[jenkins] Build deb packages only for tagged releases
This commit is contained in:
parent
9d1a19b26f
commit
412c0c5b73
5
Jenkinsfile
vendored
5
Jenkinsfile
vendored
@ -93,6 +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 workDir = pwd()
|
||||
/* Update documention on gh-pages branch */
|
||||
dir("$workDir/gh-pages") {
|
||||
@ -110,7 +111,7 @@ try {
|
||||
sh "git push origin master || { git pull --rebase origin master && git push origin master ; }"
|
||||
}
|
||||
/* Update docker repo submodule */
|
||||
dir("$workDir/docker") { try {
|
||||
if (release) { dir("$workDir/docker") { try {
|
||||
git(url: "ssh://git@github.com/TRIQS/docker.git", branch: env.BRANCH_NAME, credentialsId: "ssh", changelog: false)
|
||||
sh "echo '160000 commit ${commit}\t${projectName}' | git update-index --index-info"
|
||||
sh """
|
||||
@ -121,7 +122,7 @@ try {
|
||||
} catch (err) {
|
||||
/* Ignore, non-critical -- might not exist on this branch */
|
||||
echo "Failed to update docker repo"
|
||||
} }
|
||||
} } }
|
||||
} }
|
||||
} }
|
||||
} catch (err) {
|
||||
|
Loading…
Reference in New Issue
Block a user