We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f862d0f commit 522e73dCopy full SHA for 522e73d
.github/helpers/docker/Dockerfile
@@ -3,7 +3,7 @@ WORKDIR /build
3
RUN apt-get update && apt-get install -y curl wget zip
4
RUN wget https://download.java.net/java/GA/jdk15.0.1/51f4f36ad4ef43e39d0dfdbaf6549e32/9/GPL/openjdk-15.0.1_linux-x64_bin.tar.gz
5
RUN tar -xzvf openjdk-15.0.1_linux-x64_bin.tar.gz
6
-RUN ls && mv jdk-15.0.1 jre
+RUN ls && mv jdk-15.0.1 jre && rm jre/lib/src.zip
7
ADD ./cli ./cli
8
ADD ./core ./core
9
ADD ./plugin-interface ./plugin-interface
0 commit comments