Skip to content
Snippets Groups Projects
Verified Commit 129a66a5 authored by Daniel Hornung's avatar Daniel Hornung
Browse files

MAINT: JDK 11 -> 17

parent 7ce83799
No related branches found
No related tags found
No related merge requests found
Pipeline #51074 failed
......@@ -4,6 +4,6 @@ RUN apt-get update && apt-get install -y cmake git python3-pip curl
# Dirty workaround for java not linking to the correct manpage directory (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199)
RUN mkdir -p /usr/share/man/man1
RUN apt-get install -y openjdk-11-jdk-headless
RUN apt-get install -y openjdk-17-jdk-headless
RUN pip3 install conan
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment