diff --git a/Jenkinsfile b/Jenkinsfile index c09552fb3ce16fbbf4acfec0b2afe8f67afc10f4..ad34fc7fe3649da52ae89e8f1c478657cc1098e0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,7 +3,7 @@ def FAILED_STAGE pipeline { agent { node { - label 'goofy' + label 'goofy-openjdk-11' } }