]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d08af68 3487fe3)
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)
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. :)


Trivial merge
Empowering everyone to build reliable and efficient software.