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, see this instruction for reference.

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

Sort key # Status Mergeable Title Head ref Assignee Approved by Priority Rollup
1 2321 yes Add `_umtx_op` shim to freebsd InfRandomness:_umtx_op-shim oli-obk 0
2 2357 yes implement minimal epoll_create1 shim DebugSteven:epoll_create1-shim oli-obk 0
3 2498 no Support for passing const Miri pointers to C emarteca:alloc-align 0
4 2520 no mmap/munmap/mremamp shims saethlin:mmap-shim 0
5 2646 no Data race spans saethlin:data-race-spans 0
6 2661 no Dereference pointers in shims as correct types DrMeepster:deref_operand_as 0

Open retry log