From 9042cc298c6d02d88a44b125a1ebaabb9416cd04 Mon Sep 17 00:00:00 2001 From: Jiayu Liu Date: Fri, 22 Apr 2022 11:32:08 +0800 Subject: wait for 45 minutes --- build/docker/refresh.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'build') diff --git a/build/docker/refresh.sh b/build/docker/refresh.sh index 08cbc91e1..c9330b5eb 100755 --- a/build/docker/refresh.sh +++ b/build/docker/refresh.sh @@ -43,7 +43,7 @@ function dockerfile_changed { # # If this build has no DOCKER_PASS and it is in the docker stage # then there's no reason to do any processing because we cannot -# push the result if the Dockerfile changed. +# push the result if the Dockerfile changed. # if [[ "$TRAVIS_BUILD_STAGE" == "docker" ]] && [[ -z "$DOCKER_PASS" ]]; then @@ -70,9 +70,13 @@ popd # echo Rebuilding docker image $DISTRO -docker build --tag $DOCKER_TAG build/docker/$DISTRO -if [[ "$TRAVIS_BUILD_STAGE" == "docker" ]] && [[ ! -z "$DOCKER_USER" ]] && [[ ! -z "$DOCKER_PASS" ]]; then +# https://docs.travis-ci.com/user/common-build-problems/#build-times-out-because-no-output-was-received +# adding `travis_wait` because kerl building in the docker file takes >10 min for building erlang +# without printing to stdout, resulting in build failures +travis_wait 45 docker build --tag $DOCKER_TAG build/docker/$DISTRO + +if [[ "$TRAVIS_BUILD_STAGE" == "docker" ]] && [[ ! -z "$DOCKER_USER" ]] && [[ ! -z "$DOCKER_PASS" ]]; then echo Pushing docker image $DOCKER_TAG docker login -u $DOCKER_USER -p $DOCKER_PASS docker push $DOCKER_TAG -- cgit v1.2.1