From 14c6c819f9e67062d4ea81052f4ddb5796a9216b Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sat, 3 Oct 2020 15:20:35 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4fd10c0..10fddb7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,9 +6,7 @@ pipeline {
 		MVN_SET = credentials('maven_settings')
 		JAVA_TOOL_OPTIONS = '-Duser.home=/var/maven'
 	}
-	agent {
-		any
-	}
+	agent any
 	triggers {
 		pollSCM "* * * * *"
 	}
@@ -35,6 +33,13 @@ pipeline {
 		}
 
 		stage("Release") {
+			agent {
+				docker {
+					image 'maven:3.6.3'
+					args '-v $HOME:/var/maven'
+					reuseNode true
+				}
+			}
 			when {
 				expression { params.RELEASE }
 			}
@@ -44,6 +49,13 @@ pipeline {
 			}
 		}
 		stage('Deliver') {
+			agent {
+				docker {
+					image 'maven:3.6.3'
+					args '-v $HOME:/var/maven'
+					reuseNode true
+				}
+			}
 			steps {
 				sh './jenkins/scripts/deliver.sh'
 			}