Repository navigation

miri subtree update - #163226

Merged

rust-bors[bot] merged 13 commits into

rust-lang:mainfrom

Sep 24, 2026

Merged

miri subtree update#163226
rust-bors[bot] merged 13 commits into
rust-lang:mainfrom
RalfJung:miri

Commits on Aug 29, 2026
- move .auto settings into miri.toml file
  RalfJung
  committed
  7029337
- add `./miri toolchain --name` to configure which toolchain to install+activate
  RalfJung
  committed
  4924c57
- miri.toml: allow configuring the default toolchain name
  RalfJung
  committed
  937d7a2
- miri.toml: allow configuring toolchain components
  RalfJung
  committed
  c28b273
Commits on Sep 21, 2026
- RA settings: disable diagnostics as RA shows many false positives
  RalfJung
  committed
  447bb32
- Merge pull request #5338 from RalfJung/vscode-settings
  RalfJung
  authored
  1f28dfc
Commits on Sep 22, 2026
- Prepare for merging from rust-lang/rust
  The Miri Cronjob Bot
  committed
  5a61e9c
- Merge ref '88638df1e741' from rust-lang/rust
  The Miri Cronjob Bot
  committed
  d8b6ee3
- Merge pull request #5340 from rust-lang/rustup-2026-09-22
  RalfJung
  authored
  fd49fb3
- Merge pull request #5289 from RalfJung/miri.toml
  oli-obk
  authored
  c85e050
- add test for #[path] in doctest
  RalfJung
  committed
  3e06823
- forward rustdoc env vars to doctests
  RalfJung
  committed
  e53b292
- Merge pull request #5342 from RalfJung/doctest-path
  RalfJung
  authored
  b2e7048