Move daily build to docker instead of GCR #2109
Description
We currently push on each merge to GCR but it would be better to do that to docker.io instead for visibility
{{ message }}
We currently push on each merge to GCR but it would be better to do that to docker.io instead for visibility