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 e30385bc06 1e9d9b184c

commit a1d984ce61

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 Not Available