Prepare switch to GHMQ #464
Conversation
| pull_request: | ||
| push: # Run CI for all branches except GitHub merge queue tmp branches | ||
| branches-ignore: | ||
| - "gh-readonly-queue/**" |
There was a problem hiding this comment.
Is this necessary? I thought it was only useful for non-GHA CI to trigger builds on merge queue commits.
There was a problem hiding this comment.
This makes CI not run on these branches.
There was a problem hiding this comment.
Right, but why are we telling GHA to not run on that branch?
There was a problem hiding this comment.
if you do both "on push to any branch" and "on merge group", when GHMQ pushes to gh-readonly-queue/blahblah it matches both which I think triggers duplicate builds.
There was a problem hiding this comment.
Exactly, this avoids duplicate runs. It is taken from here
There was a problem hiding this comment.
This is only necessary if you don't set branches for the push event to work on.
|
Could you also delete |
it's already deleted |
Bors has been non-responsive for a few days.