From 6c1a8356ef4595e79977fbdf34ef22cad94f28ad Mon Sep 17 00:00:00 2001
From: "Greg L. Turnquist" <gturnquist@vmware.com>
Date: Fri, 14 Apr 2023 10:57:00 -0500
Subject: [PATCH] Build a new release container.

Having upgraded release tools to maven 3.9.1, we need a new container.
---
 Jenkinsfile              | 8 ++------
 ci/java-tools.properties | 1 +
 2 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 95189e1..929b121 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,17 +15,13 @@ pipeline {
 	stages {
 
 		stage('Build the Spring Data release tools container') {
-			when {
-				changeset 'ci/Dockerfile'
-			}
-
 			agent {
 				label 'data'
 			}
 
 			steps {
 				script {
-					def image = docker.build("springci/spring-data-release-tools:0.8", "ci")
+					def image = docker.build("springci/spring-data-release-tools:0.9", "ci")
 					docker.withRegistry('', 'hub.docker.com-springbuildmaster') {
 						image.push()
 					}
@@ -39,7 +35,7 @@ pipeline {
 			}
 			agent {
 				docker {
-					image 'springci/spring-data-release-tools:0.8'
+					image 'springci/spring-data-release-tools:0.9'
 				}
 			}
 			options { timeout(time: 4, unit: 'HOURS') }
diff --git a/ci/java-tools.properties b/ci/java-tools.properties
index 29db533..212f736 100644
--- a/ci/java-tools.properties
+++ b/ci/java-tools.properties
@@ -1,3 +1,4 @@
 # Tool requirements
 jdks=17.0.6,8.0.352,8.0.362
 maven=3.9.1
+