Explicitly request PR repo

ecmwf-ifs · Feb 5, 2025 · f06d1f9 · f06d1f9
1 parent 3bfcfe4
commit f06d1f9
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/.github/workflows/build-hpc.yml b/.github/workflows/build-hpc.yml
@@ -99,17 +99,18 @@ jobs:
                 cmake --install build --prefix installation
                 popd
             {% endfor %}
-            mkdir -p ${{ github.repository }}
-            pushd ${{ github.repository }}
+            set REPO=${{ github.event.pull_request.head.repo.full_name || github.repository }}
+            mkdir -p $REPO
+            pushd $REPO
             git init
-            git remote add origin ${{ github.server_url }}/${{ github.repository }}
+            git remote add origin ${{ github.server_url }}/$REPO
             git fetch origin ${{ github.sha }}
             git reset --hard FETCH_HEAD
             echo "${{ github.server_url }}"
-            echo "${{ github.repository }}"
+            echo "$REPO"
             echo "${{ github.sha }}"
             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 \