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 +