CI: Skip pushing wasm builder unless required

The `push-builder` target will now check if the tag is already
available via a test with `docker pull`. It will only build and
push if the image is not available remotely.

Signed-off-by: Patrick East <east.patrick@gmail.com>
This commit is contained in:
Patrick East
2020-07-15 13:43:09 -07:00
parent 4eaf9ab597
commit 9940f9ef8f
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -314,7 +314,7 @@ push-image: docker-login image-quick push
.PHONY: push-wasm-builder-image
push-wasm-builder-image: docker-login
$(MAKE) -C wasm builder push-builder
$(MAKE) -C wasm push-builder
.PHONY: deploy-ci
deploy-ci: push-image tag-edge push-edge push-binary-edge
+1 -1
View File
@@ -39,7 +39,7 @@ ensure-builder:
.PHONY: push-builder
push-builder:
$(DOCKER) push $(WASM_BUILDER_IMAGE)
$(DOCKER) pull $(WASM_BUILDER_IMAGE) || ($(MAKE) builder && $(DOCKER) push $(WASM_BUILDER_IMAGE))
.PHONY: build
build: