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

Update Jenkinsfile

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

2
jenkins/Jenkinsfile vendored
View File

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