-
Notifications
You must be signed in to change notification settings - Fork 4
Enhance concurrency policy for issue/pull_request events with modular key building #114
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
…ith modular key building Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
@copilot update docs with concurrency table |
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Updated the frontmatter documentation with a comprehensive concurrency policies table that shows all supported workflow types, their concurrency groups, and cancellation behavior. The table includes examples and benefits of the enhanced concurrency system. See commit 51b34f6. Warning Firewall rules blocked me from connecting to one or more addresses (expand for details)I tried to connect to the following addresses, but was blocked by firewall rules:
If you need me to access, download, or install something from one of these locations, you can either:
|
@copilot rebuild all workflow lock files |
Successfully rebuilt all workflow lock files using |
This PR implements enhanced concurrency policies for GitHub Actions workflows that include issue numbers or pull request numbers in their concurrency groups for better workflow isolation and resource management.
Problem
Previously, workflows triggered by issue or pull request events used generic concurrency groups that could cause unnecessary blocking between unrelated issues/PRs:
Solution
The new implementation generates context-aware concurrency groups that include relevant issue/PR numbers:
Key Changes
buildConcurrencyGroupKeys()
for extensible key buildingisIssueWorkflow()
andisDiscussionWorkflow()
helper functionsWorkflow Types Supported
issues
workflow-${{ github.event.issue.number }}
pull_request
workflow-${{ github.event.pull_request.number || github.ref }}
discussion
workflow-${{ github.event.discussion.number }}
workflow-${{ github.event.issue.number || github.event.pull_request.number }}
workflow-${{ github.event.issue.number || github.event.pull_request.number }}
This ensures that workflows operating on different issues/PRs can run concurrently while preventing conflicts within the same context.
Fixes #113.
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.