Searched full:github_ref (Results 1 – 25 of 44) sorted by relevance
12
12 def check(github_ref: str | None) -> None:20 if github_ref is not None and github_ref.startswith("refs/tags/"):21 version = github_ref.removeprefix("refs/tags/")53 "github_ref", type=str, help="The current GitHub ref", nargs="?"57 check(args.github_ref)
40 …ENT_NAME} = 'pull_request' && (${GITHUB_BASE_REF} = 'release'*)) || (${GITHUB_REF} = 'refs/heads/r…50 GITHUB_REF=${{ github.ref }}51 echo "$GITHUB_REF"52 export ET_VERSION_DOCS="${GITHUB_REF}"69 echo "GitHub Ref: ${GITHUB_REF}"97 export GITHUB_REF=${{ github.ref }}101 if [[ "${GITHUB_REF}" =~ ^refs/tags/v([0-9]+\.[0-9]+) ]]; then
38 … python .github/scripts/propose_ghstack_orig_pr.py --ref $GITHUB_REF --repo pytorch/executorch41 GITHUB_REF: ${{ github.ref }}
60 GITHUB_REF=${GITHUB_REF:-$(git symbolic-ref -q HEAD || git describe --tags --exact-match)}61 GIT_BRANCH_NAME=${GITHUB_REF##*/}69 if [[ -n ${GITHUB_REF} ]]; then
127 echo GITHUB_REF: $GITHUB_REF128 REF=${GITHUB_BASE_REF:-$GITHUB_REF}183 echo GITHUB_REF: %GITHUB_REF%184 if "%GITHUB_BASE_REF%" == "" set GITHUB_BASE_REF=%GITHUB_REF%
76 GITHUB_REF=${GITHUB_REF:-$(git symbolic-ref -q HEAD || git describe --tags --exact-match)}77 GIT_BRANCH_NAME=${GITHUB_REF##*/}86 if [[ -n ${GITHUB_REF} ]]; then
134 echo GITHUB_REF: $GITHUB_REF135 REF=${GITHUB_BASE_REF:-$GITHUB_REF}210 echo GITHUB_REF: %GITHUB_REF%211 if "%GITHUB_BASE_REF%" == "" set GITHUB_BASE_REF=%GITHUB_REF%
28 export TAG="$(echo "$GITHUB_REF" | sed -n 's_^refs/tags/__p')"30 echo "action must be run on a tag. GITHUB_REF is not a tag: $GITHUB_REF"
137 GITHUB_REF=${GITHUB_REF:-$(git symbolic-ref -q HEAD || git describe --tags --exact-match)}147 if [[ -n ${GITHUB_REF} ]]; then
5 [ "$GITHUB_REF" == "refs/heads/master" ]; then34 echo -e "Not publishing docs for branch=${$GITHUB_REF}"
30 …iggered the workflow run, e.g., refs/pull/133891/merge or refs/heads/main. Derived from GITHUB_REF.31 6: optional string github_ref;
57 [[ ${GITHUB_ACTIONS+x} && ${GITHUB_REF-} =~ ^refs/pull/[0-9]+/merge ]] || {62 pr="$(echo "${GITHUB_REF}" | cut -d/ -f3)"
36 …iggered the workflow run, e.g., refs/pull/133891/merge or refs/heads/main. Derived from GITHUB_REF.37 21: optional string github_ref;
3 GITHUB_BRANCH=${GITHUB_REF#refs/heads/}
122 REF=${GITHUB_BASE_REF:-$GITHUB_REF}169 if "%GITHUB_BASE_REF%" == "" set GITHUB_BASE_REF=%GITHUB_REF%
22 export COVERITY_SCAN_BRANCH_PATTERN=${GITHUB_REF##refs/*/}
16 ref = os.environ["GITHUB_REF"]
42 --pr_identifier $GITHUB_REF \