ci: fix manual checkout

biojppm · Aug 14, 2024 · e35b6dc · e35b6dc
1 parent 0b761bc
commit e35b6dc
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 6 deletions.
diff --git a/.github/workflows/clang.yml b/.github/workflows/clang.yml
@@ -203,10 +203,14 @@ jobs:
       - name: checkout
         run: |
           set -x
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
+          branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
-          git fetch origin $GITHUB_HEAD_REF
+          git fetch origin $branch
           git reset --hard FETCH_HEAD
           git submodule update --init --recursive
       - run: c4core-install ${{matrix.cxx}}

diff --git a/.github/workflows/gcc.yml b/.github/workflows/gcc.yml
@@ -54,10 +54,14 @@ jobs:
       - name: checkout
         run: |
           set -x
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
+          branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
-          git fetch origin $GITHUB_HEAD_REF
+          git fetch origin $branch
           git reset --hard FETCH_HEAD
           git submodule update --init --recursive
       - run: c4core-install ${{matrix.cxx}}
@@ -146,10 +150,14 @@ jobs:
       - name: checkout
         run: |
           set -x
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
+          branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
-          git fetch origin $GITHUB_HEAD_REF
+          git fetch origin $branch
           git reset --hard FETCH_HEAD
           git submodule update --init --recursive
       - run: c4core-install ${{matrix.cxx}}
@@ -199,10 +207,14 @@ jobs:
       - name: checkout
         run: |
           set -x
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
+          branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
-          git fetch origin $GITHUB_HEAD_REF
+          git fetch origin $branch
           git reset --hard FETCH_HEAD
           git submodule update --init --recursive
       - run: c4core-install ${{matrix.cxx}}
@@ -280,10 +292,14 @@ jobs:
       - name: checkout
         run: |
           set -x
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
+          branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
-          git fetch origin $GITHUB_HEAD_REF
+          git fetch origin $branch
           git reset --hard FETCH_HEAD
           git submodule update --init --recursive
       - run: c4core-install ${{matrix.cxx}}
@@ -389,10 +405,14 @@ jobs:
       - name: checkout
         run: |
           set -x
+          echo GITHUB_REF=$GITHUB_REF
+          echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF
+          branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}  # https://stackoverflow.com/questions/58033366
+          echo branch=$branch
           git init -q .
           git config --system --add safe.directory '*'  # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169
           git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
-          git fetch origin $GITHUB_HEAD_REF
+          git fetch origin $branch
           git reset --hard FETCH_HEAD
           git submodule update --init --recursive
       - name: install gcc-arm-linux-gnueabihf