diff --git a/Jenkinsfile b/Jenkinsfile
index 4e734e5f8cd75017a148e41043f5d28ca99847f3..e6715cedc283207761bf0a1d90a25c784e0e7b8b 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 {