diff --git a/jenkinsfile/Jenkinsfile b/jenkinsfile/Jenkinsfile index 73dcd6f9c67872bd98061faf1d9204355579847a..d325bea0d6ee320179ba06ac6683f1cabcf20e2e 100644 --- a/jenkinsfile/Jenkinsfile +++ b/jenkinsfile/Jenkinsfile @@ -1,9 +1,5 @@ pipeline { - agent { - docker { image 'harbor.cloud.infn.it/cicd/jenkins-paas-slave:latest' - reuseNode true - } - } + agent { label 'docker-paas-agent' } environment { ORCHENT_AGENT_ACCOUNT='infn-cloud-ops'