From c6bcb4d3c02c3dd6d0f9570d60ca67b8d1fc12f5 Mon Sep 17 00:00:00 2001 From: Kitsu Date: Wed, 9 Jun 2021 10:48:43 +0300 Subject: [PATCH] Specify miri toolchain for CI example --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f0e14a9125c6..21ab49bc1f89 100644 --- a/README.md +++ b/README.md @@ -146,7 +146,7 @@ nightly that *does* come with Miri: MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" rustup set profile minimal -rustup default "$MIRI_NIGHTLY" +rustup override set "$MIRI_NIGHTLY" rustup component add miri cargo miri test