From e5b70ba5cf93587a3628e217cd1962aa2e6086ea Mon Sep 17 00:00:00 2001
From: "gioacchino.vino" <gioacchino.vino@infn.it>
Date: Tue, 10 Oct 2023 16:30:38 +0200
Subject: [PATCH] Enable docker pipeline
---
jenkinsfile/Jenkinsfile | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/jenkinsfile/Jenkinsfile b/jenkinsfile/Jenkinsfile
index 68a1cc3..1a49067 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'
--
GitLab