From 1357eadede4acd822a481bdca351934ee56d3c90 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 8 Mar 2022 15:44:52 -0500
Subject: [PATCH] update Miri CI config

---
 ci/miri.sh | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/ci/miri.sh b/ci/miri.sh
index 6b95c2d..68d6af6 100644
--- a/ci/miri.sh
+++ b/ci/miri.sh
@@ -5,11 +5,8 @@ set -ex
 export CARGO_NET_RETRY=5
 export CARGO_NET_TIMEOUT=10
 
-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 default "$MIRI_NIGHTLY"
-
-rustup component add miri
+rustup toolchain install nightly --component miri
+rustup override set nightly
 cargo miri setup
 
 cargo miri test