Auto merge of #106121 - RalfJung:miri, r=RalfJung · spikespaz/dotwalk-rs@9de478e · GitHub

Commit

Auto merge of #106121 - RalfJung:miri, r=RalfJung

Browse files

update Miri

Noteworthy PRs:
- rust-lang/miri#2357
- rust-lang/miri#2646
- rust-lang/miri#2718
- rust-lang/miri#2721
- rust-lang/miri#2725

Loading branch information

bors committed Dec 25, 2022

2 parents fd3b1ad + 962016b commit 9de478e