ci: Use SSH agent and accept host key

2018-07-26 18:34:20 -05:00 · 2018-07-26 18:34:20 -05:00 · 004a181b6a
parent e1df8d201c
commit 004a181b6a
1 changed files with 4 additions and 1 deletions
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@ -9,8 +9,11 @@ pipeline {
    stages {
        stage('Publish') {
            steps {
+                sshagent(['jenkins-web']) {
+                    sh "ssh -oStrictHostKeyChecking=no ${PUBLISH_USER}@${PUBLISH_HOST} :"
                    sh '. ci/publish.sh'
                }
            }
        }
    }
+}