diff --git a/Jenkinsfile b/Jenkinsfile index 8216eb1e..a1fa2b6c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,6 @@ pipeline { - agent { - label "geode" - } + agent any /* environment {