diff --git a/Jenkinsfile b/Jenkinsfile
index d000ddcc0b084f3eec937c45c12d3000cacd01f4..926a66b9f2b242a4c880ce4aab33f4ccec29479f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -167,7 +167,7 @@ pipeline {
         stage('Envinf1 (serial)') {
           when {
             beforeAgent true
-            expression { return false }
+            expression { return stage_required.build || stage_required.full }
           }
           agent { label "envinf1"}
           steps {
@@ -199,7 +199,7 @@ pipeline {
         stage('Envinf1 (parallel)') {
           when {
             beforeAgent true
-            expression { return false }
+            expression { return stage_required.build || stage_required.full }
           }
           agent { label "envinf1"}
           steps {
@@ -404,7 +404,7 @@ pipeline {
         stage('Deploy envinf1') {
           when {
             beforeAgent true
-            expression { return false }
+            expression { return stage_required.build || stage_required.full }
           }
           agent { label "envinf1"}
           steps {
@@ -431,7 +431,7 @@ pipeline {
         stage('Deploy envinf1 PETSc') {
           when {
             beforeAgent true
-            expression { return false }
+            expression { return stage_required.build || stage_required.full }
           }
           agent { label "envinf1"}
           steps {