]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #106229 - RalfJung:miri, r=RalfJung
authorMatthias Krüger <matthias.krueger@famsik.de>
Thu, 29 Dec 2022 12:16:05 +0000 (13:16 +0100)
committerGitHub <noreply@github.com>
Thu, 29 Dec 2022 12:16:05 +0000 (13:16 +0100)
commit98f2409c82a9527428abd6514aba36444f8428dc
tree5d76a7b97635e942fc6cf1e6f7198d87b8e3ab0a
parentd08af68f229e6e79eae3460046a17cccebcd577f
parent3487fe32490c7e6e522916bef7d8c66b31ab2f56
Rollup merge of #106229 - RalfJung:miri, r=RalfJung

update Miri

Main PRs:
- https://github.com/rust-lang/miri/pull/2741
- https://github.com/rust-lang/miri/pull/2744

This should help quite a bit with Miri support for less common targets. :)