Explicitly request PR repo

Author: awnawab

Diff for: .github/workflows/build-hpc.yml

@@ -99,14 +99,15 @@ 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
             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 \