In case of push split the GITHUB_REF to use only the part after the l…

…ast slash
gem · Oct 28, 2024 · 0bdd086 · 0bdd086
1 parent 978d30f
commit 0bdd086
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/demos_ltr_latest.yml b/.github/workflows/demos_ltr_latest.yml
@@ -46,8 +46,9 @@ jobs:
               python install.py devel --version ${GITHUB_HD_REF}
           elif ${{ github.event_name == 'push' }}
           then
-              echo "It is a push; use the corresponding branch: ${GITHUB_REF}"
-              python install.py devel --version ${GITHUB_REF}
+              BRANCH=${GITHUB_REF##*\/}
+              echo "It is a push; use the corresponding branch: ${BRANCH}"
+              python install.py devel --version ${BRANCH}
           else
               echo "It was triggered manually; use the selected Git Ref: $GITHUB_INPUT_REF "
               python install.py devel --version ${GITHUB_INPUT_REF}
@@ -76,8 +77,9 @@ jobs:
               GITHUB_BR=${GITHUB_HD_REF}
           elif ${{ github.event_name == 'push' }}
           then
-              echo "It is a push; use the corresponding branch: ${GITHUB_REF}"
-              GITHUB_BR=${GITHUB_REF}
+              BRANCH=${GITHUB_REF##*\/}
+              echo "It is a push; use the corresponding branch: ${BRANCH}"
+              GITHUB_BR=${BRANCH}
           else
               echo "It was triggered manually; use the selected Git Ref: $GITHUB_INPUT_REF "
               GITHUB_BR=${GITHUB_INPUT_REF}