George Joseph b4017eadaf .github: Change concurrency group ids so they're unique. ...

GitHub strikes again.  Apparently the github.ref context variable only
contains the PR number if the workflow is triggered by "pull_request" so
since we just changed the trigger to "pull_request_target" the variable
no longer contains the PR number and is therefore not unique and can't be
used as a concurrency group id.  We now use
`github.triggering_actor-github.head_ref`.

(cherry picked from commit 1a7c9e0a04)

2025-03-20 18:29:21 +00:00

..

ISSUE_TEMPLATE

Update config.yml

2023-06-15 09:48:13 -03:00

workflows

.github: Change concurrency group ids so they're unique.

2025-03-20 18:29:21 +00:00