Skip to content

Commit 607aadc

Browse files
committed
Auto merge of #61295 - RalfJung:miri, r=oli-obk
update miri r? @oli-obk Fixes #60533
2 parents 627486a + 4dfed4a commit 607aadc

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

Cargo.lock

+1
Original file line numberDiff line numberDiff line change
@@ -1646,6 +1646,7 @@ dependencies = [
16461646
"env_logger 0.6.0 (registry+https://github.com/rust-lang/crates.io-index)",
16471647
"hex 0.3.2 (registry+https://github.com/rust-lang/crates.io-index)",
16481648
"log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
1649+
"num-traits 0.2.6 (registry+https://github.com/rust-lang/crates.io-index)",
16491650
"rand 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)",
16501651
"rustc-workspace-hack 1.0.0",
16511652
"rustc_version 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)",

src/tools/miri

Submodule miri updated 49 files

0 commit comments

Comments
 (0)