This will create a new pull request consisting of 0 PRs.
A rollup is useful for shortening the queue, but jumping the queue is unfair to older PRs who have waited too long.
When creating a real rollup, see this instruction for reference.
3 total, 0 approved, 0 rolled up, 0 failed / /
|Sort key||#||Status||Mergeable||Title||Head ref||Assignee||Approved by||Priority||Rollup|
|1||255||yes||Add `RawTable::vacuum` to clean up DELETED entries||cuviper:vacuum||0|
|2||232||no||Issue #225: Specialization fix||tkaitchuck:specialization-fix||0|
|3||243||no||Use `criterion` for benches||henryboisdequin:bench||0|
Open retry log