You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

George Joseph 19683b6027 .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 32b0b47348)		1 month ago
..
ISSUE_TEMPLATE	Update config.yml	1 year ago
workflows	.github: Change concurrency group ids so they're unique.	1 month ago