diff --git a/Jenkinsfile b/Jenkinsfile
index 85d6c3b266d013d74c6934bc99f298b63322046e..8c012131bf17015b8f3d9e3e27de0b76b92574ed 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -245,7 +245,7 @@ pipeline {
         stage('Envinf1 (serial)') {
           when {
             beforeAgent true
-            expression { return stage_required.build || stage_required.full }
+            expression { return params.envinf1_serial && (stage_required.build || stage_required.full) }
           }
           agent { label "envinf1"}
           environment {
@@ -287,7 +287,7 @@ pipeline {
         stage('Envinf1 (parallel)') {
           when {
             beforeAgent true
-            expression { return stage_required.build || stage_required.full }
+            expression { return params.envinf1_parallel && (stage_required.build || stage_required.full) }
           }
           agent { label "envinf1"}
           environment {