[Jenkins] Disable envinf1 jobs for the moment.

ufz · Oct 16, 2018 · 19f06d8 · 19f06d8
1 parent 3d0cbeb
commit 19f06d8
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -167,7 +167,7 @@ pipeline {
         stage('Envinf1 (serial)') {
           when {
             beforeAgent true
-            expression { return stage_required.build || stage_required.full }
+            expression { return false }
           }
           agent { label "envinf1"}
           steps {
@@ -199,7 +199,7 @@ pipeline {
         stage('Envinf1 (parallel)') {
           when {
             beforeAgent true
-            expression { return stage_required.build || stage_required.full }
+            expression { return false }
           }
           agent { label "envinf1"}
           steps {
@@ -404,7 +404,7 @@ pipeline {
         stage('Deploy envinf1') {
           when {
             beforeAgent true
-            expression { return stage_required.build || stage_required.full }
+            expression { return false }
           }
           agent { label "envinf1"}
           steps {
@@ -431,7 +431,7 @@ pipeline {
         stage('Deploy envinf1 PETSc') {
           when {
             beforeAgent true
-            expression { return stage_required.build || stage_required.full }
+            expression { return false }
           }
           agent { label "envinf1"}
           steps {