fix(ci): create Docker Hub repository before first push#8

RaoulSchaffranek merged 1 commit into

mainruntimeverification/komet-node:mainfrom

copilot/fix-github-actions-build-publishruntimeverification/komet-node:copilot/fix-github-actions-build-publishCopy head branch name to clipboard