diff --git a/Jenkinsfile b/Jenkinsfile index 4a63d59..0dd13fb 100755 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -55,7 +55,7 @@ pipeline { agent { - label "aventador" + label "xochi" }