fixup! Fixes #20322: Make JVM version configurable

Fixes #20322: Make JVM version configurable
Normation · Nov 29, 2021 · f8754a4 · f8754a4
1 parent ad11526
commit f8754a4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/webapp/sources/Dockerfile b/webapp/sources/Dockerfile
@@ -6,8 +6,8 @@ COPY ci/user.sh .
 RUN ./user.sh $USER_ID
 
 # Install elm
-RUN curl -L -o elm.gz "https://github.com/elm/compiler/releases/download/0.19.1/binary-for-linux-64-bit.gz"
+RUN curl -L -o elm.gz "https://github.com/elm/compiler/releases/download/0.19.0/binary-for-linux-64-bit.gz"
 RUN gzip -d elm.gz
 RUN chmod +x elm
-RUN mv elm /usr/local/bin/elm-0.19.1
+RUN mv elm /usr/local/bin/