diff --git a/jenkinsfile/Jenkinsfile b/jenkinsfile/Jenkinsfile index 68a1cc38153aafd8ef063d2337d7d1bd00a66c47..1a49067cf3a95ccf30d7337b72dfdb9b9130f4c3 100644 --- a/jenkinsfile/Jenkinsfile +++ b/jenkinsfile/Jenkinsfile @@ -1,5 +1,8 @@ pipeline { - agent { label 'docker-paas-agent' } + agent { + label 'docker-paas-agent' + docker { image 'harbor.cloud.infn.it/cicd/jenkins-paas-slave:latest' } + } environment { ORCHENT_AGENT_ACCOUNT='infn-cloud-ops'