(CI) fix docker user (#720)

tue-robotics · Apr 3, 2024 · 095dce8 · 095dce8
2 parents 85e4dd8 + c377873
commit 095dce8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.23.0
+1.23.1
diff --git a/dockerfiles/tue-env.Dockerfile b/dockerfiles/tue-env.Dockerfile
@@ -115,6 +115,10 @@ RUN { [[ -n "$OAUTH2_TOKEN" ]] && git config --global --unset credential.helper;
 #                           STAGE 2
 # ----------------------------------------------------------------
 FROM base
+
+ARG DOCKER_USER=docker
+ARG DOCKER_USER_ID=1001
+
 ENV DEBIAN_FRONTEND=noninteractive \
     LANG=C.UTF-8 \
     DOCKER=true \