Auto merge of #103392 - RalfJung:miri, r=oli-obk

Browse source

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.

...

This commit is contained in:

bors 2022-10-25 12:33:39 +00:00

parent cd0bb7de01 9fe8e3d3d5

commit 5b336fddd3

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

Diff content is not available