From 255e561ddddea5197f1c41bdcb9715b6c8d34d20 Mon Sep 17 00:00:00 2001 From: Dilum Aluthge Date: Sun, 16 Feb 2025 14:34:57 -0500 Subject: [PATCH 1/2] CI Dockerfile: don't have a default value for `ARG` --- ci/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/Dockerfile b/ci/Dockerfile index 25a3586..8fa66a4 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -1,6 +1,6 @@ FROM ghcr.io/kleinhenz/docker-slurm-cluster@sha256:c62b169970eaab879898a7df5950f888b0417147e06f8c0e32fd15087b22d9f2 -ARG JULIA_VERSION=1.11.2 +# ARG JULIA_VERSION=1.11.2 RUN mkdir -p /home/docker/.local/opt/julia \ && cd /home/docker/.local/opt/julia \ From 294ea74213b2daef9cf83e87489b04ad75b83a37 Mon Sep 17 00:00:00 2001 From: Dilum Aluthge Date: Sun, 16 Feb 2025 14:45:44 -0500 Subject: [PATCH 2/2] Update Dockerfile --- ci/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ci/Dockerfile b/ci/Dockerfile index 8fa66a4..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 \