diff options
author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-12-29 13:16:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-29 13:16:05 +0100 |
commit | 98f2409c82a9527428abd6514aba36444f8428dc (patch) | |
tree | 5d76a7b97635e942fc6cf1e6f7198d87b8e3ab0a /tests/rustdoc-js-std/parser-errors.js | |
parent | d08af68f229e6e79eae3460046a17cccebcd577f (diff) | |
parent | 3487fe32490c7e6e522916bef7d8c66b31ab2f56 (diff) | |
download | rust-98f2409c82a9527428abd6514aba36444f8428dc.tar.gz |
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. :)
Diffstat (limited to 'tests/rustdoc-js-std/parser-errors.js')
0 files changed, 0 insertions, 0 deletions