switch to minimal dockerfile

2026-05-30 08:59:24 +00:00
parent 12290c5d93
commit 1aae2fb3fc
1 changed files with 2 additions and 2 deletions
@@ -61,7 +61,7 @@ jobs:
                          --frontend=dockerfile.v0 \
                          --local context=/workspace/repo \
                          --local dockerfile=/workspace/repo/server-ce \
-                          --opt filename=Dockerfile-base \
+                          --opt filename=Dockerfile-base-minimal \
                          --output type=image,name=registry.alocoq.fr/verso-base:latest,push=true

                        buildctl-daemonless.sh build \
@@ -69,7 +69,7 @@ jobs:
                          --local context=/workspace/repo \
                          --local dockerfile=/workspace/repo/server-ce \
                          --opt filename=Dockerfile \
-                          --opt build-arg:OVERLEAF_BASE_TAG=registry.alocoq.fr/verso-base:latest \
+                          --opt build-arg:OVERLEAF_BASE_TAG=registry.alocoq.fr/verso-base-minimal:latest \
                          --output type=image,name=registry.alocoq.fr/verso:latest,push=true

                    volumeMounts: