Debug commit

ecmwf-ifs · Feb 5, 2025 · dd8a536 · dd8a536
1 parent 9d5d769
commit dd8a536
Showing 1 changed file with 15 additions and 5 deletions.
diff --git a/.github/workflows/build-hpc.yml b/.github/workflows/build-hpc.yml
@@ -133,14 +133,24 @@ jobs:
                 cmake --install build --prefix installation
                 popd
             {% endfor %}
-            mkdir -p ${{ github.repository }}
-            pushd ${{ github.repository }}
+            REPO=${{ github.event.pull_request.head.repo.full_name || github.repository }}
+            SHA=${{ github.event.pull_request.head.sha || github.sha }}
+            mkdir -p $REPO
+            pushd $REPO
+            echo "github.event_name = ${{ github.event_name }}"
+            echo "github.sha = ${{ github.sha }}"
+            echo "github.base_ref = ${{ github.base_ref }}"
+            echo "github.head_ref = ${{ github.head_ref }}"
+            echo "github.event.pull_request.head.repo.full_name = ${{ github.event.pull_request.head.repo.full_name }}"
+            echo "github.event.pull_request.head.sha = ${{ github.event.pull_request.head.sha }}"
+            echo "github.event.pull_request_target.head.repo.full_name = ${{ github.event.pull_request_target.head.repo.full_name }}"
+            echo "github.event.pull_request_target.head.sha = ${{ github.event.pull_request_target.head.sha }}"
             git init
-            git remote add origin ${{ github.server_url }}/${{ github.repository }}
-            git fetch origin ${{ github.sha }}
+            git remote add origin ${{ github.server_url }}/$REPO
+            git fetch origin $SHA
             git reset --hard FETCH_HEAD
             popd
-            cmake -G Ninja -S ${{ github.repository }} -B build \
+            cmake -G Ninja -S $REPO -B build \
               {% for name in dependencies %}
                 {% set org, proj = name.split('/') %}
                 -D{{proj}}_ROOT=$BASEDIR/{{name}}/installation \