user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
update Miri

Fixes https://github.com/rust-lang/rust/issues/99461
r? `@oli-obk` because of lockfile changes (seems like serde is getting implicitly bumped)
This commit is contained in:
bors 2022-07-21 22:24:06 +00:00
commit 31b9b012bb
2 changed files with 31 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri

@ -1 +1 @@
Subproject commit 416cddb2516dea056bf6269eaaa5ba4d24ad0832
Subproject commit dac1676eb3bea10e94404bc5b40412742ea5e8d9