]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: e3311e4 1e720cd)
Auto merge of #103392 - RalfJung:miri, r=oli-obk
authorbors <bors@rust-lang.org>
Tue, 25 Oct 2022 12:33:39 +0000 (12:33 +0000)
committerbors <bors@rust-lang.org>
Tue, 25 Oct 2022 12:33:39 +0000 (12:33 +0000)
commit5e1872598cf62755871104cf00e25a42c7ee62cd
tree0cd3f40ff70ad25578659ecf902237ee4d774d77tree | snapshot
parente3311e47171758f5567b2cae33a650b342a36453commit | diff
parent1e720cdb4625b64cacad6a5ae0b8e845f4a43fbccommit | diff
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.
Empowering everyone to build reliable and efficient software.