ping @RalfJ, have you had a chance to look at why miri has been broken?
/me wishes miri were built by bors before merging
there's an issue about it
Miri is blocked on https://github.com/rust-lang/rust/pull/62441 being reviewed by someone
Feel free to ping me on zulip for high priority things
Github notifications have reached 1k in the backlog, so github pings are mostly useless ^^