diff options
| author | bors <bors@rust-lang.org> | 2023-05-12 21:49:06 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-05-12 21:49:06 +0000 |
| commit | 7d59fa3d23f021a18289416caf79fdf050bbc3b0 (patch) | |
| tree | 9e9302e92e4eadec33aa63dd2e44ff5cffa1696f /tests/rustdoc-ui/coverage/allow_missing_docs.rs | |
| parent | 4a59ba4d54a3ec0d8ea1e82b7eeb5c8b0162de04 (diff) | |
| parent | 18fd17d2cd88c8ecd250ca8dbb20a29ad79b30b3 (diff) | |
| download | rust-7d59fa3d23f021a18289416caf79fdf050bbc3b0.tar.gz rust-7d59fa3d23f021a18289416caf79fdf050bbc3b0.zip | |
Auto merge of #111506 - RalfJung:miri, r=oli-obk
update Miri and run mir-opt-level=4 tests in rustc CI so issues like https://github.com/rust-lang/rust/issues/111422 are caught before they land. r? `@oli-obk` due to the bootstrap changes
Diffstat (limited to 'tests/rustdoc-ui/coverage/allow_missing_docs.rs')
0 files changed, 0 insertions, 0 deletions