diff --git a/Jenkinsfile b/Jenkinsfile index 691ebed..4a63d59 100755 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,7 +15,7 @@ pipeline { agent { - label "aventador" + label "xochi" } @@ -35,7 +35,7 @@ pipeline { agent { - label "aventador" + label "xochi" }