@oli-obk sometimes runs run-pass tests in Miri. It would be great to automate that and integrate it here!
Preliminary conversations with the Rust compiler team indicate that they would be fine with tests being marked as unsupported by Miri, e.g. through a // ignore-miri flag.
