simon987/music-graph-ui
1
0
Fork 0
mirror of https://github.com/simon987/music-graph-ui.git synced 2025-04-19 18:16:41 +00:00
Code Issues Projects Releases Wiki Activity

Jenkins fixes

Browse Source
This commit is contained in:
simon987 2019-05-08 21:00:03 -04:00
parent 0e998eaf9b
commit 05bb263cb3
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
jenkins/Jenkinsfile vendored
View File

@ -10,6 +10,10 @@ remote.retryWaitSec = 3
logLevel = 'FINER' logLevel = 'FINER'
pipeline { pipeline {
agent none
environment {
HOME='.'
}
stages { stages {
stage('Build') { stage('Build') {
agent { agent {