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`
This commit is contained in:
bors 2022-10-31 23:03:39 +00:00
commit 92d756edb2

Diff content is not available