Rollup merge of #143822 - RalfJung:miri-ui-clean, r=jieyouxu

./x test miri: fix cleaning the miri_ui directory

Fixes https://github.com/rust-lang/rust/issues/143680
This commit is contained in:
León Orell Valerian Liehr 2025-07-13 07:21:24 +02:00 committed by GitHub
commit 2cbd0bc27c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 9 additions and 2 deletions

View file

@ -97,6 +97,8 @@ fn miri_config(
let mut config = Config {
target: Some(target.to_owned()),
program,
// When changing this, remember to also adjust the logic in bootstrap, in Miri's test step,
// that deletes the `miri_ui` dir when it needs a rebuild.
out_dir: PathBuf::from(env!("CARGO_TARGET_TMPDIR")).join("miri_ui"),
threads: std::env::var("MIRI_TEST_THREADS")
.ok()