After #12 is done, publish the Docker images to the GitHub registry for GA.
After #12 is done, publish the Docker images to the GitHub registry for GA.