diff --git a/Jenkinsfile b/Jenkinsfile index 567382e8f690bfb05613d2de222b2243d39b58bc..4e734e5f8cd75017a148e41043f5d28ca99847f3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -412,6 +412,10 @@ pipeline { parallel { // ************************* Tests-Large ******************************* stage('Tests-Large') { + when { + beforeAgent true + expression { return stage_required.build || stage_required.full } + } agent { dockerfile { filename 'Dockerfile.gcc.full'