New: publish-docker

uds-se · Jul 1, 2024 · dc05613 · dc05613
1 parent 70f37d9
commit dc05613
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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