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.
—
7 total, 0 approved, 0 rolled up, 0 failed / /
| Sort key | # | Status | Mergeable | Title | Head ref | Assignee | Approved by | Priority | Rollup | |
|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 3319 | yes | Directly implement native exception raise methods in miri | bjorn3:some_more_shims | 0 | |||||
| 2 | 3474 | yes | Implement wcslen | tyilo:wcslen | 0 | |||||
| 3 | 3533 | yes | Make file descriptors into refcount references | Luv-Ray:file-descriptors-to-refcount-references | 0 | |||||
| 4 | 3548 | yes | make many-seeds a mode of ./miri run rather than a separate command | RalfJung:many-seeds | 0 | |||||
| 5 | 3198 | no | [WIP] solaris/illumos support. | devnexen:solarish_support | 0 | |||||
| 6 | 3279 | no | bump ui_test to 0.22 | oli-obk:ui_test_bump | 0 | |||||
| 7 | 3526 | no | Adjust Allocation Bytes used by Miri to custom MiriAllocBytes | Strophox:miri-memory | 0 |