5 ms·
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
by jd__ 4y ago
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 4y ago[deleted]