Switch CI to merge queues

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.66k stars 349 forks source link

Closed Kobzol closed 1 month ago

Kobzol commented 1 month ago

This should be merged in cooperation with an infra admin.

Kobzol commented 1 month ago

Added the all caps part and your suggestion for the comment. Thanks for the review!