Homu queue - miri

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, try to be fair to the PRs not rolled up. You may pick one of these strategies:

3 total, 0 approved, 0 rolled up, 0 failed / /

Sort key # Status Mergeable Title Head ref Assignee Approved by Priority Rollup
1 1412 yes Remove pointer arithmetic intrinsics josephlr:ptr 0
2 1436 yes Handle `read`s on STDIN samrat:support-stdin-read 0
3 1418 success (try) yes Add file sync shims divergentdave:file-sync 0

Open retry log