diff --git a/Jenkinsfile b/Jenkinsfile index 3a940df..3906c58 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ pipeline { agent { - label 'jenkins-agent-pi501' + label 'pi501.in.thelinuxpro.net' } stages {