Use correct branch

This commit is contained in:
Matthias 2019-11-26 17:16:31 +01:00
parent 7d5a337cf8
commit 15197ea8a7

View File

@ -80,7 +80,8 @@ jobs:
echo ${TRAVIS_PULL_REQUEST} echo ${TRAVIS_PULL_REQUEST}
# export TRAVIS_BRANCH=${GITHUB_REF#"ref/heads"} # export TRAVIS_BRANCH=${GITHUB_REF#"ref/heads"}
# export CI_BRANCH=${GITHUB_REF#"ref/heads"} # export CI_BRANCH=${GITHUB_REF#"ref/heads"}
export TRAVIS_BRANCH=${GITHUB_REF} export TRAVIS_BRANCH=$(cat $GITHUB_EVENT_PATH | jq -r .pull_request.head.ref)
if [ -z ${TRAVIS_BRANCH} ]; then export TRAVIS_BRANCH=${GITHUB_REF#"ref/heads"}; fi
echo "${TRAVIS_BRANCH}" echo "${TRAVIS_BRANCH}"
coveralls -v || true coveralls -v || true