have circleci push images up

.circleci/config.yml

@@ -4,7 +4,8 @@ jobs:
    machine: true
    steps:
      - checkout
-     - run: |
-         make dist
+     - run: make dist
      - store_artifacts:
          path: output
+     - run: echo "$DOCKER_PASS" | docker login --username $DOCKER_USER --password-stdin
+     - run: make ci-upload-images

Makefile

@@ -62,3 +62,7 @@ upload-docker-image: build-docker-image
 	docker push $(IMAGENAME):$(VERSION)
 	docker push $(IMAGENAME):$(BUILDTIMETAG)
 	docker push $(IMAGENAME):latest
+
+ci-upload-images:
+	docker push $(IMAGENAME):$(VERSION)
+	docker push $(IMAGENAME):$(BUILDTIMETAG)