From: bors <bors@rust-lang.org>
Date: Sun, 14 Nov 2021 17:29:41 +0000 (+0000)
Subject: Auto merge of #1913 - RalfJung:rustdoc-miri, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=76a3329f51439ff2cacda4d26d478a9dc1682a06;hp=a15539e9111e4e30c0229c63c99cdba1627a6e5f;p=rust.git

Auto merge of #1913 - RalfJung:rustdoc-miri, r=RalfJung

run rustdoc with the miri cfg flag

This is important to be able to control which doctests run with `cargo miri test`. In particular, this is required for https://github.com/rust-lang/rust/pull/90909 to work as intended.
---