only publish docker image if version is not yet published #926
nichlaes wants to merge
854-force-overwrite-of-docker-images-in-github-actions into feature/distributed-demo