Enable `x.py check` for miri#102950

Merged

bors merged 4 commits intorust-lang:masterfrom

oli-obk:check_miri

Nov 1, 2022

Commits on Oct 12, 2022

Enable `x.py check` for miri
oli-obk
committed

Commits on Oct 13, 2022

Remove unused macro argument
oli-obk
committed

Commits on Oct 26, 2022

Add cargo miri to x.py check
oli-obk
committed

Commits on Oct 31, 2022

bump up recursion limit for miri crate
RalfJung
committed