Enable docker pipeline

e5b70ba5 · Gioacchino Vino · 8968a4b8 · e5b70ba5
Commit e5b70ba5 authored 1 year ago by Gioacchino Vino
--- a/jenkinsfile/Jenkinsfile
+++ b/jenkinsfile/Jenkinsfile
 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'