dustin
/
dchwww
1
0
Fork 0
Code Releases Activity

ci: Use SSH agent and accept host key

Dustin 2018-07-26 18:34:20 -05:00
parent 8557b8b05a
commit b701281679
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
ci/Jenkinsfile vendored
View File

@ -13,8 +13,11 @@ pipeline {
stages { stages {
stage('Publish') { stage('Publish') {
steps { steps {
sshagent(['jenkins-web']) {
sh "ssh -oStrictHostKeyChecking=no ${PUBLISH_USER}@${PUBLISH_HOST} :"
sh '. ci/publish.sh' sh '. ci/publish.sh'
} }
} }
} }
} }
}