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 1550 yes test VecDeque::iter_mut aliasing RalfJung:vecdeque 0
2 1559 yes Add API for capturing backtrace Aaron1011:new-miri-backtrace 0
3 1563 yes Add a dummy actions template to enable it on CI lzutao:dummy-actions 0

Open retry log