From fe4393f908c1c01b863d6ee7f85a94ce7b3e3dbd Mon Sep 17 00:00:00 2001
From: Gauthier Roebroeck <gauthier.roebroeck@gmail.com>
Date: Sat, 4 Jan 2020 15:29:28 +0800
Subject: [PATCH] ci: don't push to docker if the webui cannot be built

---
 .travis/deploy-dockerhub-dev.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.travis/deploy-dockerhub-dev.sh b/.travis/deploy-dockerhub-dev.sh
index f1fbfd523..fbf5fd546 100755
--- a/.travis/deploy-dockerhub-dev.sh
+++ b/.travis/deploy-dockerhub-dev.sh
@@ -1,5 +1,4 @@
 #!/usr/bin/env bash
 
 echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin
-./gradlew copyWebDist
-./gradlew dockerPushBeta
+./gradlew copyWebDist && ./gradlew dockerPushBeta