diff options
| author | bors <bors@rust-lang.org> | 2022-10-25 12:33:39 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-25 12:33:39 +0000 |
| commit | 5b336fddd3558743a558d6e5da23504ddff99ca0 (patch) | |
| tree | 4ed3338886b744fc7e1dde203f9cebc9af3f73d1 /clippy_lints/src/trailing_empty_array.rs | |
| parent | cd0bb7de01d6f516c2e69c03f3bed26aaf167bc8 (diff) | |
| parent | 9fe8e3d3d53d9b03360e87e0319de8b327a2ca0b (diff) | |
| download | rust-5b336fddd3558743a558d6e5da23504ddff99ca0.tar.gz rust-5b336fddd3558743a558d6e5da23504ddff99ca0.zip | |
Auto merge of #103392 - RalfJung:miri, r=oli-obk
update Miri I had to use a hacked version of josh to create this, so let's be careful with merging this and maybe wait a bit to see if the josh issue becomes more clear. But the history looks good to me, we are not adding duplicates of rustc commits that were previously mirrored to Miri. Also I want to add some cross-testing of Miri in x.py.
Diffstat (limited to 'clippy_lints/src/trailing_empty_array.rs')
0 files changed, 0 insertions, 0 deletions