c1e0a87044
Because Miri now runs the doctests as well, we have to make sure it does not run them for `no_std` targets, like we do for our normal tests.