Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #102950 - oli-obk:check_miri, r=RalfJung
Enable `x.py check` for miri
Now that the miri subtree is working properly, let's add it to x.py check.
cc `@rust-lang/miri`
