Searched full:github_ref (Results 1 – 14 of 14) sorted by relevance
23 export TAG="$(echo "$GITHUB_REF" | sed -n 's_^refs/tags/__p')"25 echo "action must be run on a tag. GITHUB_REF is not a tag: $GITHUB_REF"
5 [ "$GITHUB_REF" == "refs/heads/master" ]; then34 echo -e "Not publishing docs for branch=${$GITHUB_REF}"
57 [[ ${GITHUB_ACTIONS+x} && ${GITHUB_REF-} =~ ^refs/pull/[0-9]+/merge ]] || {62 pr="$(echo "${GITHUB_REF}" | cut -d/ -f3)"
3 GITHUB_BRANCH=${GITHUB_REF#refs/heads/}
17 …e }} . --build-arg github_repo=$GITHUB_REPOSITORY --build-arg github_branch=$(basename $GITHUB_REF)
21 export COVERITY_SCAN_BRANCH_PATTERN=${GITHUB_REF##refs/*/}
68 run: echo "tag=${GITHUB_REF/refs\/tags\//}" >> $GITHUB_ENV
93 tag=${GITHUB_REF#refs/tags/}
46 return os.getenv('GITHUB_REF')
738 echo "tag=${GITHUB_REF#refs/*/}"740 tests/checkTag ${GITHUB_REF#refs/*/}
202 "GITHUB_REF"
202 ref = os.getenv('GITHUB_REF', '')