Auto merge of #111454 - RalfJung:miri, r=RalfJung

update Miri r? `@ghost`
rust-lang · May 11, 2023 · 2a8221d · 2a8221d
2 parents f8d8ffa + b0b76a5
commit 2a8221d
Show file tree

Hide file tree

Showing 109 changed files with 1,122 additions and 411 deletions.
diff --git a/Cargo.lock b/Cargo.lock
@@ -5122,9 +5122,9 @@ checksum = "9e79c4d996edb816c91e4308506774452e55e95c3c9de07b6729e17e15a5ef81"
 
 [[package]]
 name = "ui_test"
-version = "0.6.2"
+version = "0.9.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3e10f5f88ce8c331a388deda1e6e2bd533c73ca89cc5f539a3df02ed35c8efba"
+checksum = "95033b0e41b8018013d99a6f1486c1ae5bd080378ced60c5f797e93842423b33"
 dependencies = [
  "bstr 1.3.0",
  "cargo-platform",