summary refs log tree commit diff
path: root/src/tools/miri
blob: 76a3329f51439ff2cacda4d26d478a9dc1682a06 (plain)
1
2
3
4
5
6
7
8
9
10
11
tree 2641e86cce6592dd7cb98a005a35478c6b87faa7
parent a8b976eb350acec83280a0cd1ca3ac99faff67bc
parent a15539e9111e4e30c0229c63c99cdba1627a6e5f
author bors <bors@rust-lang.org> 1636910981 +0000
committer bors <bors@rust-lang.org> 1636910981 +0000

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.