diff options
| -rw-r--r-- | Jenkinsfile | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 0c22054..1dcbdad 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,11 +1,13 @@ pipeline { - agent { - label "master" - } + agent { label "master" } stages { stage("git clone guix-wigust") { steps { - parallelGitClone url: "https://cgit.duckdns.org/git/guix/guix-wigust", nodeLabels: ["guix"], dir: "/home/oleg/src/guix-wigust" + parallelGitClone ( + url: "https://cgit.duckdns.org/git/guix/guix-wigust", + nodeLabels: ["guix"], + dir: "$Constants.homeDir/src/guix-wigust" + ) } } } |