[server-ce] force cleanup of docker images (#27944)

GitOrigin-RevId: d515f191c660e382c16497544a6d13e434a3c9e2
This commit is contained in:
Jakob Ackermann
2025-08-15 11:22:17 +02:00
committed by Copybot
parent 40772ef819
commit 21f0490456

View File

@@ -14,7 +14,7 @@ export OVERLEAF_TAG ?= sharelatex/sharelatex:$(BRANCH_NAME)-$(MONOREPO_REVISION)
all: build-base build-community
clean:
-docker rmi $(OVERLEAF_BASE_TAG) $(OVERLEAF_TAG)
-docker rmi --force $(OVERLEAF_BASE_TAG) $(OVERLEAF_TAG)
build-base:
cp .dockerignore $(MONOREPO_ROOT)