diff --git a/.github/workflows/build-hpc.yml b/.github/workflows/build-hpc.yml index 0b8f6bf6d..0e6be230b 100644 --- a/.github/workflows/build-hpc.yml +++ b/.github/workflows/build-hpc.yml @@ -137,6 +137,7 @@ jobs: pushd ${{ github.repository }} git init git remote add origin ${{ github.server_url }}/${{ github.repository }} + echo "${{ github.event_name }}" {% if github.event_name == "pull_request" %} git fetch origin ${{ github.head_ref }} {% else %}