]> git.lizzy.rs Git - rust.git/commit
Auto merge of #106121 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 25 Dec 2022 17:39:06 +0000 (17:39 +0000)
committerbors <bors@rust-lang.org>
Sun, 25 Dec 2022 17:39:06 +0000 (17:39 +0000)
commit298d763fc0ac206cf3ae202459101e36a17071f7
tree5aceafd45d368a4bd47417fd4970bcb7d4350391
parent300aa907a682dfa492f4eb394d27f5331fba0a64
parentd8b48d450d2ca02bac2d475129400c569baff98a
Auto merge of #106121 - RalfJung:miri, r=RalfJung

update Miri

Noteworthy PRs:
- https://github.com/rust-lang/miri/pull/2357
- https://github.com/rust-lang/miri/pull/2646
- https://github.com/rust-lang/miri/pull/2718
- https://github.com/rust-lang/miri/pull/2721
- https://github.com/rust-lang/miri/pull/2725