From 5b5036a0afd8c65dcf06519083f8d1c90b031783 Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Thu, 15 Oct 2020 13:04:34 +0200 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 798281d..659c0a9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,7 +30,7 @@ pipeline { stage("Build & Deploy SNAPSHOT") { agent { docker { - image 'maven:3.6.3-openjdk-15' + image 'maven:3.6.3-openjdk-13' args '-v $HOME:/var/maven' reuseNode true } @@ -44,7 +44,7 @@ pipeline { stage("Release") { agent { docker { - image 'maven:3.6.3-openjdk-15' + image 'maven:3.6.3-openjdk-13' args '-v $HOME:/var/maven' reuseNode true }