What if you still have too many pull requests per day, compared to the time it takes to run CI? For example if you get 10 PRs a day but CI takes 3 hours?
Best way is to batch your PRs in a single CI run. That saves CI time and increase your throughput. It does not seem GitHub merge queue supports this, but some merge queues do support this. (Julien from Mergify)
[deleted]