diff --git a/Jenkinsfile b/Jenkinsfile index 9c3c9a06d6511816c40ed08ff2fd13a089d8acbd..b5fda96bf94578ebaa03297e9c5871eac1161ee3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -41,7 +41,7 @@ pipeline { } } - stage('Build Administration') { + stage('Build Administration (skipped tests)') { steps { script { FAILED_STAGE=env.STAGE_NAME