From cf3152c68e08d1cf53b46384d0099f805644594e Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Sat, 28 Nov 2020 20:57:07 +0100
Subject: [PATCH] Fiddling with ssh

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 071c341..29aac66 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -51,7 +51,7 @@ pipeline {
     stage('Upload') {
        steps {
           sshagent(credentials: ['kieker-irl-key']) {
-             sh 'sftp -i ${KEYSTORE} ${UPDATE_SITE_URL}'
+             sh 'sftp -o StrictHostKeyChecking=no -F /dev/null -i ${KEYSTORE} ${UPDATE_SITE_URL}'
              sh '${BASE_DIR}/compile-results/bin/compile-results "${BASE_DIR}/results-kieker/results-text.csv" "${BASE_DIR}/all-results.json"'
           }
        }
-- 
GitLab