Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Chore: Separate out merge group from ci (#4327)
* separate out merge queue from ci to eliminate duplicate flow * remove secondary builds from ci * remove unnecessary permission * disable pr on mergegroup * remove merge group from ci * add title to merge group * fix mergegroup title
- Loading branch information