diff --git a/build/travis-doxygen.sh b/build/travis-doxygen.sh index c63d783..0c817b3 100755 --- a/build/travis-doxygen.sh +++ b/build/travis-doxygen.sh @@ -81,8 +81,11 @@ gh_pages_push() { # check for secure variables [ "${TRAVIS_SECURE_ENV_VARS}" = "true" ] || \ skip "Secure variables not available, not updating GitHub pages." + # check for GitHub access token [ "${GH_TOKEN+set}" = set ] || \ skip "GitHub access token not available, not updating GitHub pages." + [ "${#GH_TOKEN}" -eq 40 ] || \ + abort "GitHub token invalid: found ${#GH_TOKEN} characters, expected 40." cd "${TRAVIS_BUILD_DIR}/doc/html"; # setup credentials (hide in "set -x" mode)