This pushes the CI base image to the ghcr.io container registry instead of storing it locally on the build machine.
The container registry is publicly accessible, so make docker-ci works out of the box (and I've changed it so that it always fetches the latest image). You can also use the image on the command line:
This pushes the CI base image to the
ghcr.iocontainer registry instead of storing it locally on the build machine.The container registry is publicly accessible, so
make docker-ciworks out of the box (and I've changed it so that it always fetches the latest image). You can also use the image on the command line:(Note that
fstarlangneeds to be lowercase here.)