We should move away from using DockerHub and use GitHub Packages instead. Details are here: https://docs.github.com/en/actions/guides/publishing-docker-images