From 3d106ba5f6905abcfeab9cb87fac5e8dfef9ec33 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Wed, 27 Feb 2019 12:08:27 +0100
Subject: [PATCH] Revert "[Jenkins] Disable envinf1 jobs."
This reverts commit 85a8de89e34aa87e3dfd952f28bde82f1cba11cc.
---
Jenkinsfile | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 4e734e5f8cd..e6715cedc28 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -225,7 +225,7 @@ pipeline {
stage('Envinf1 (serial)') {
when {
beforeAgent true
- expression { return false }
+ expression { return stage_required.build || stage_required.full }
}
agent { label "envinf1"}
environment {
@@ -267,7 +267,7 @@ pipeline {
stage('Envinf1 (parallel)') {
when {
beforeAgent true
- expression { return false }
+ expression { return stage_required.build || stage_required.full }
}
agent { label "envinf1"}
environment {
@@ -518,7 +518,7 @@ pipeline {
stage('Deploy envinf1') {
when {
beforeAgent true
- expression { return false }
+ expression { return stage_required.build || stage_required.full }
}
agent { label "envinf1"}
steps {
@@ -545,7 +545,7 @@ pipeline {
stage('Deploy envinf1 PETSc') {
when {
beforeAgent true
- expression { return false }
+ expression { return stage_required.build || stage_required.full }
}
agent { label "envinf1"}
steps {
--
GitLab