diff options
author | mattip <matti.picus@gmail.com> | 2023-01-29 09:48:59 +0200 |
---|---|---|
committer | mattip <matti.picus@gmail.com> | 2023-01-29 09:48:59 +0200 |
commit | c029f407dae0aba79097715dca540d7945b28fd3 (patch) | |
tree | d1aadf7cca6f26bf55b72e3b0d63a188b356456b /.github | |
parent | 5749d39a52048761555e384cd5c3575ebe8988b7 (diff) | |
download | numpy-c029f407dae0aba79097715dca540d7945b28fd3.tar.gz |
BUILD: use GITHUB_REF_NAME in musllinux merge CI run
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/linux_musl.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/linux_musl.yml b/.github/workflows/linux_musl.yml index f23c07809..f3a45a1d7 100644 --- a/.github/workflows/linux_musl.yml +++ b/.github/workflows/linux_musl.yml @@ -39,7 +39,7 @@ jobs: git config --global --add safe.directory $PWD if [ $GITHUB_EVENT_NAME != pull_request ]; then - git clone --recursive --branch=$GITHUB_REF https://github.com/${GITHUB_REPOSITORY}.git $GITHUB_WORKSPACE + git clone --recursive --branch=$GITHUB_REF_NAME https://github.com/${GITHUB_REPOSITORY}.git $GITHUB_WORKSPACE git reset --hard $GITHUB_SHA else git clone --recursive https://github.com/${GITHUB_REPOSITORY}.git $GITHUB_WORKSPACE |