Skip to content

Add event.type to concurrency group #4947

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 5 commits into from
Mar 7, 2023

Conversation

newhoggy
Copy link
Contributor

@newhoggy newhoggy commented Mar 7, 2023

This is necessary because our workflows can be triggered by more than one event type: push and merge_group.

When a PR is queued to early after a push, the merge_group job would cancel the push job or vice-versa causing unnecessary build failures.

@newhoggy newhoggy marked this pull request as ready for review March 7, 2023 02:13
@newhoggy newhoggy requested review from Jimbo4350 and a team as code owners March 7, 2023 02:13
@newhoggy newhoggy requested review from erikd and angerman March 7, 2023 02:16
@newhoggy newhoggy enabled auto-merge March 7, 2023 02:31
@newhoggy newhoggy added this pull request to the merge queue Mar 7, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 7, 2023
@newhoggy newhoggy force-pushed the newhoggy/add-event-type-to-concurrency-group branch from 645351f to 6e89e54 Compare March 7, 2023 03:09
@newhoggy
Copy link
Contributor Author

newhoggy commented Mar 7, 2023

I rebased onto #4939 because a flaky test aborted the merge.

@newhoggy newhoggy enabled auto-merge March 7, 2023 03:10
@newhoggy newhoggy added this pull request to the merge queue Mar 7, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 7, 2023
@newhoggy newhoggy added this pull request to the merge queue Mar 7, 2023
Merged via the queue into master with commit 7f2e182 Mar 7, 2023
@iohk-bors iohk-bors bot deleted the newhoggy/add-event-type-to-concurrency-group branch March 7, 2023 04:16
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.

3 participants