Skip to content

Conversation

graydon
Copy link
Contributor

@graydon graydon commented Jul 11, 2024

PR #4375 limited the github action to run on pushes to specific branches, so as to avoid the double-execution of CI on merge-queue activity (it was triggering on both the merge_group event and the merge queue's push to a throwaway gh-readonly-queue/... branch). Of course we also still trigger on the pull_request event which fires on any change to a PR.

This was a bit too strict. @dmkozh noted that he often likes to push to a branch on his own fork just to get some CI before opening a PR. So my proposed change here switches from an explicit list of branches to trigger the push event to an explicit pattern of branches to not trigger the push event.

(Probably this should wait until the release is done, since if I made a mistake it might disrupt normal operations while figuring it out, @marta-lokhova and/or @SirTyson could you make a note here / merge this PR when you're done?)

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.

1 participant