Automatically publish docker images to ghcr.io #4
Description
Currently, the docker images need to be build locally which is not very convenient. Since we recently set CI with docker building up, it could be expanded to publish built images onto GitHub's container registry (https://ghcr.io).