Push images.

.circleci/config.yml

@@ -11,6 +11,7 @@ jobs:
     steps:
       - checkout
       - setup_remote_docker
+
       - run:
           name: Install Docker client
           command: |
@@ -19,8 +20,16 @@ jobs:
             curl -L -o /tmp/docker-$VER.tgz https://download.docker.com/linux/static/stable/x86_64/docker-$VER.tgz
             tar -xz -C /tmp -f /tmp/docker-$VER.tgz
             mv /tmp/docker/* /usr/bin
+
       - run:
           name: Build Images
           command: |
+            # skip building the build image again
             touch build-image/.uptodate &&
             make BUILD_IN_CONTAINER=false
+
+      - run:
+          name: Push Images
+          command: |
+            docker login -u _json_key -p "$GCR_CREDS" https://gcr.io &&
+            make push-images

Makefile

@@ -113,6 +113,11 @@ shell: build-image/$(UPTODATE)
 
 endif
 
+push-images:
+	for image_name in $(IMAGE_NAMES); do \
+		docker push $$image_name:$(IMAGE_TAG); \
+	done
+
 clean:
 	$(SUDO) docker rmi $(IMAGE_NAMES) >/dev/null 2>&1 || true
 	rm -rf $(UPTODATE_FILES) $(EXES) $(PROTO_GOS) .cache