From 4d7474b4ccaa060a4373213c7bb658fbfb26a4b4 Mon Sep 17 00:00:00 2001 From: musicEnfanthen Date: Sat, 6 Jul 2024 12:07:23 +0200 Subject: [PATCH] ci(gh-actions): update prince (and ant) --- Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index caeca6a..c99a08e 100644 --- a/Dockerfile +++ b/Dockerfile @@ -8,7 +8,7 @@ LABEL org.opencontainers.image.revision="v0.0.1" ARG DEBIAN_FRONTEND=noninteractive ARG JAVA_VERSION=17 -ARG PRINCE_VERSION=15.1 +ARG PRINCE_VERSION=15.3 ARG SAXON_VERSION=SaxonHE12-4 ARG TARGETARCH ARG UBUNTU_VERSION=22.04 @@ -16,7 +16,7 @@ ARG XERCES_VERSION=26.1.0.1 ARG DEB_FILE=prince_${PRINCE_VERSION}-1_ubuntu${UBUNTU_VERSION}_${TARGETARCH}.deb ENV TZ=Europe/Berlin -ENV ANT_VERSION=1.10.13 +ENV ANT_VERSION=1.10.14 ENV ANT_HOME=/opt/apache-ant-${ANT_VERSION} ENV PATH=${PATH}:${ANT_HOME}/bin