From dc0561399c5503b21e99fe5c6b96b4c4cd51b2a9 Mon Sep 17 00:00:00 2001 From: Andreas Zeller Date: Mon, 1 Jul 2024 09:33:26 +0200 Subject: [PATCH] New: publish-docker --- notebooks/shared/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/notebooks/shared/Makefile b/notebooks/shared/Makefile index 4fb40555..1f18c75e 100644 --- a/notebooks/shared/Makefile +++ b/notebooks/shared/Makefile @@ -1287,11 +1287,13 @@ docker-run docker: docker-push: docker push $(DOCKER_TAG) -docker-release: +docker-tag: docker pull $(DOCKER_TAG) docker tag $(DOCKER_TAG):latest $(DOCKER_TAG):$(GIT_HASH) docker push $(DOCKER_TAG):latest +publish-docker: docker-image docker-push docker-tag + # Cleanup unused space docker-clean: docker system prune --all --force