From f090f76bb64c324b9dcaee302ecbc3991c3b8e5f Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Fri, 7 Sep 2018 11:25:17 +0200
Subject: [PATCH] [Jenkins] Fixed Deploy Doxygen stage.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 3dcbb4abaf0..568d57687d0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -376,7 +376,7 @@ pipeline {
// *********************** Deploy Doxygen ******************************
stage('Deploy Doxygen') {
when { expression { return stage_required.build || stage_required.full } }
- agent any
+ agent { label "master" }
steps {
dir('doxygen') { unstash 'doxygen' }
unstash 'known_hosts'
--
GitLab