diff --git a/ci/Dockerfile b/ci/Dockerfile index 25a3586..3e0c60d 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -1,6 +1,7 @@ FROM ghcr.io/kleinhenz/docker-slurm-cluster@sha256:c62b169970eaab879898a7df5950f888b0417147e06f8c0e32fd15087b22d9f2 -ARG JULIA_VERSION=1.11.2 +# We intentionally have no default value: +ARG JULIA_VERSION RUN mkdir -p /home/docker/.local/opt/julia \ && cd /home/docker/.local/opt/julia \