diff --git a/jenkinsfile/Jenkinsfile b/jenkinsfile/Jenkinsfile index 8126e1f007c96c3737b01f137de778aac342e5fa..0bfe6f6b4cf6e335a5e308c7bfb473cff71849d9 100644 --- a/jenkinsfile/Jenkinsfile +++ b/jenkinsfile/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent { label 'docker-paas-agent' } + agent { label 'docker-agent' } environment { ORCHENT_AGENT_ACCOUNT='infn-cloud-ops'