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.
—
2 total, 0 approved, 0 rolled up, 0 failed / /
| Sort key | # | Status | Mergeable | Title | Head ref | Assignee | Approved by | Priority | Rollup | |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 1769 | yes | remove compatibility code for passing miri flags via cargo arguments | RalfJung:remove-compat | 0 | |||||
| 2 | 1651 | no | Improve yield handling and add yield-based livelock detection. | JCTyblaidd:yield_schedule_no_liveness | 0 |