mirror of
https://github.com/triqs/dft_tools
synced 2025-01-09 12:44:03 +01:00
[jenkins] stage publication results in tmpdir
Currently they're polluting the main build dir and not getting cleaned up for some reason
This commit is contained in:
parent
bef6368d89
commit
5c760037b7
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
@ -95,7 +95,7 @@ try {
|
|||||||
stage("publish") { timeout(time: 5, unit: 'MINUTES') {
|
stage("publish") { timeout(time: 5, unit: 'MINUTES') {
|
||||||
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 == "master" || env.BRANCH_NAME == "unstable" || 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(tmp:true)
|
||||||
lock('triqs_publish') {
|
lock('triqs_publish') {
|
||||||
/* 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