From b3bf076bfed8c2c4467848a2902623fca9287e7c Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Mon, 9 Apr 2018 09:04:06 +0200
Subject: [PATCH] [Jenkins] Fixed known_hosts stashing.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index eb7c778f773..bc1856acd42 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,6 +16,7 @@ pipeline {
steps {
sh "git config core.whitespace -blank-at-eof"
sh "git diff --check `git merge-base origin/master HEAD` HEAD -- . ':!*.md' ':!*.pandoc'"
+ dir('scripts/jenkins') { stash(name: 'known_hosts', includes: 'known_hosts') }
// ********* Check changesets for conditional stage execution **********
script {
@@ -110,7 +111,6 @@ pipeline {
post {
always {
publishReports { }
- dir('scripts/jenkins') { stash(name: 'known_hosts', includes: 'known_hosts') }
dir('build/docs') { stash(name: 'doxygen') }
}
failure {
--
GitLab