simon987/music-graph-api
1
0
Fork 0
mirror of https://github.com/simon987/music-graph-api.git synced 2025-04-19 09:56:43 +00:00
Code Issues Projects Releases Wiki Activity

Update Jenkinsfile

Browse Source
This commit is contained in:
simon987 2019-12-03 10:27:57 -05:00 committed by GitHub
parent bd029078bc
commit f3e432ef68
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
jenkins/Jenkinsfile vendored
View File

@ -7,6 +7,7 @@ remote.knownHosts = '/var/lib/jenkins/.ssh/known_hosts'
remote.allowAnyHosts = true remote.allowAnyHosts = true
remote.retryCount = 3 remote.retryCount = 3
remote.retryWaitSec = 3 remote.retryWaitSec = 3
remote.port 2299
logLevel = 'FINER' logLevel = 'FINER'
pipeline { pipeline {