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.

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

Open retry log