From 9df2aed7253b8f170b7d3c1b02c1baf572c735f6 Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Thu, 31 May 2018 13:06:39 +0200 Subject: [PATCH] Add logging --- .travis/build-doc.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.travis/build-doc.sh b/.travis/build-doc.sh index 0d0c2d21f6..546a9656ad 100755 --- a/.travis/build-doc.sh +++ b/.travis/build-doc.sh @@ -61,6 +61,8 @@ zip -qr pmd-doc-${VERSION}.zip pmd-doc-${VERSION}/ # Push the generated site to gh-pages branch # if [[ "${VERSION}" == *-SNAPSHOT && "${TRAVIS_BRANCH}" == "master" ]]; then + echo -e "\n\n" + log_info "Pushing the new site to github pages..." git config user.name "Travis CI (pmd-bot)" git config user.email "andreas.dangel+pmd-bot@adangel.org" git clone --branch gh-pages --depth 1 git@github.com:pmd/pmd.git pmd-gh-pages @@ -74,6 +76,7 @@ if [[ "${VERSION}" == *-SNAPSHOT && "${TRAVIS_BRANCH}" == "master" ]]; then git commit -q -m "Update documentation" git push git@github.com:pmd/pmd.git HEAD:gh-pages ) + log_success "Successfully pushed site to https://pmd.github.io/pmd/" fi popd