From 8f16323f79f8435b111a5f82f2b6d1c46622d3c5 Mon Sep 17 00:00:00 2001 From: Viet Nguyen Date: Fri, 4 Oct 2024 16:06:36 +0700 Subject: [PATCH] fix: use tomcat 10 for dev --- jenkinsfiles/dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkinsfiles/dev b/jenkinsfiles/dev index dc31f6b223fe..70e1de23a734 100644 --- a/jenkinsfiles/dev +++ b/jenkinsfiles/dev @@ -23,7 +23,7 @@ pipeline { DHIS2_VERSION = readMavenPom(file: 'dhis-2/pom.xml').getVersion() DOCKER_IMAGE_NAME = "${DOCKER_HUB_OWNER}/core-dev" DOCKER_IMAGE_TAG = "${env.GIT_BRANCH}" - DOCKER_IMAGE_NAME_PUBLISH_SOURCE = "tomcat:9.0-jre17" + DOCKER_IMAGE_NAME_PUBLISH_SOURCE = "tomcat:10.0-jre17" } stages {