Skip to content

Conversation

@DFINITYManu
Copy link
Contributor

@DFINITYManu DFINITYManu commented May 6, 2025

Updated concurrency group to include push events in addition to pull requests and branch creation. This ensures that required checks workflows do not get cancelled when a merge is done into main. This will also clear up the ocean of red crosses in the commit history for main.

EDIT: we won't actually know if this did work until we merge to main. Guh.

Updated concurrency group to include push events in addition to pull requests and branch creation.
This ensures that required checks workflows do not get cancelled when a merge is done into `main`.
This will also clear up the ocean of red crosses in the commit history for `main`.
@DFINITYManu DFINITYManu requested a review from a team as a code owner May 6, 2025 13:47
@DFINITYManu DFINITYManu marked this pull request as draft May 6, 2025 13:52
@DFINITYManu DFINITYManu marked this pull request as ready for review May 6, 2025 13:54
@DFINITYManu DFINITYManu merged commit 4b70442 into main May 6, 2025
12 checks passed
@DFINITYManu DFINITYManu deleted the concgroup branch May 6, 2025 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants