Fix pipeline merge bug

2026-03-30 11:38:22 +01:00
parent a1bcd4bef4
commit 89d7ec5ac1
2 changed files with 6 additions and 4 deletions
@@ -56,8 +56,10 @@ jobs:
        id: get-branch-name
        run: |
          if [ "${{ github.event_name }}" == "pull_request" ]; then
+            echo "Branch name: ${{ github.head_ref }}"
            echo "BRANCH_NAME=${{ github.head_ref }}" >> $GITHUB_OUTPUT
          else
+            echo "Branch name: ${GITHUB_REF#refs/heads/}"
            echo "BRANCH_NAME=${GITHUB_REF#refs/heads/}" >> $GITHUB_OUTPUT
          fi