diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 247a3c3..5b1dec5 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -7,6 +7,7 @@ remote.knownHosts = '/var/lib/jenkins/.ssh/known_hosts' remote.allowAnyHosts = true remote.retryCount = 3 remote.retryWaitSec = 3 +remote.port 2299 logLevel = 'FINER' pipeline {