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 eventpull/26509/head
parent
bdc432d218
commit
a662af57c7
2 changed files with 2 additions and 2 deletions
Loading…
Reference in new issue