From 978a362b7222f521a08660113e6e44245b99f48a Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Tue, 3 Apr 2018 14:41:01 +0200
Subject: [PATCH] [Jenkins] Always stash known_hosts and Doxygen.
---
Jenkinsfile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 025f423b2e3..eb7c778f773 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -110,13 +110,13 @@ pipeline {
post {
always {
publishReports { }
+ dir('scripts/jenkins') { stash(name: 'known_hosts', includes: 'known_hosts') }
+ dir('build/docs') { stash(name: 'doxygen') }
}
failure {
dir('build') { deleteDir() }
}
success {
- dir('build/docs') { stash(name: 'doxygen') }
- dir('scripts/jenkins') { stash(name: 'known_hosts', includes: 'known_hosts') }
script {
publishHTML(target: [allowMissing: false, alwaysLinkToLastBuild: true,
keepAll: true, reportDir: 'build/docs', reportFiles: 'index.html',
--
GitLab