build-3rdparty.yml: Fix repo branch name

${{ env.GITHUB_HEAD_REF }} is not available to workflow_dispatch [1],
so the branch name must be manually extracted from
${{ env.GITHUB_EVENT_PATH }}.

[1]: https://forgejo.org/docs/latest/user/actions/#env-1
This commit is contained in:
Xavier Del Campo Romero 2025-01-25 10:46:49 +01:00
parent b2456f6a0d
commit d4a9605286
Signed by: xavi
GPG key ID: 84FF3612A9BF43F2

View file

@ -12,8 +12,9 @@ jobs:
steps:
- name: Clone repository
run: |
branch=$(jq -r '.ref | ltrimstr("refs/heads/")' ${{ env.GITHUB_EVENT_PATH }})
git clone -q \
-b ${{ env.GITHUB_HEAD_REF }} \
-b $branch \
${{ env.GITHUB_SERVER_URL }}/${{ env.GITHUB_REPOSITORY }}.git \
/src
- name: Configure third-party libraries