diff --git a/Jenkinsfile b/Jenkinsfile index 20bf0df8..d1639ebe 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -67,9 +67,9 @@ pipeline { remote.name = 'reprepro' remote.host = 'reprepro.reprepro' remote.allowAnyHosts = true + remote.logLevel = 'FINEST' } echo "$user $identityFile" - sleep 600 // DEBUG sshPut([ remote: remote, from: "$debFile",