tools-aux ci runner: also cross-test doctests in Miri#141210

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-std-doctestsRalfJung/rust:miri-std-doctestsCopy head branch name to clipboard