CI: use github.head_ref to group PR action runs (#26505)
* CI: use github.head_ref to group PR action runs
for push triggers, github.ref is set to the "branch or tag ref that was pushed"
for pull_request triggers, it is set to the "pull request merge branch" (master?)
github.head_ref is only set when the trigger is pull_request
https://docs.github.com/en/actions/learn-github-actions/contexts#github-context
* only check github.ref for push event
old-commit-hash: a662af57c7
taco
parent
d985096170
commit
fd73f0955f
2 changed files with 2 additions and 2 deletions
Loading…
Reference in new issue