Skip to content

.github/workflows: only cancel concurrent jobs if not in merge_group #29431

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

Merged
merged 1 commit into from
Nov 28, 2023

Conversation

aanm
Copy link
Member

@aanm aanm commented Nov 28, 2023

If we cancel concurrent jobs, regardless of them being in merge_group or not, we will not be able to have concurrent runs for the same workflow in the merge groups events. Thus, we should detect if the event is not from a merge_group and only cancel the concurrent jobs on that case.

If we cancel concurrent jobs, regardless of them being in merge_group or
not, we will not be able to have concurrent runs for the same workflow
in the merge groups events. Thus, we should detect if the event is not
from a merge_group and only cancel the concurrent jobs on that case.

Signed-off-by: André Martins <andre@cilium.io>
@aanm aanm added the release-note/misc This PR makes changes that have no direct user impact. label Nov 28, 2023
@aanm aanm requested review from a team as code owners November 28, 2023 09:29
@aanm
Copy link
Member Author

aanm commented Nov 28, 2023

/test

@aanm aanm enabled auto-merge November 28, 2023 09:29
@aanm aanm added this pull request to the merge queue Nov 28, 2023
@maintainer-s-little-helper maintainer-s-little-helper bot added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label Nov 28, 2023
Merged via the queue into main with commit b4cf843 Nov 28, 2023
@aanm aanm deleted the pr/merge-group branch November 28, 2023 10:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-to-merge This PR has passed all tests and received consensus from code owners to merge. release-note/misc This PR makes changes that have no direct user impact.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants