From 58b49b5bdaf2d2a025ee9344e5ae10909bdf4a20 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Thu, 23 Apr 2020 02:57:38 -0700
Subject: [PATCH] Test miri on latest nightly with a miri

---
 .travis.yml | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 94c65fb..96055fd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -16,9 +16,13 @@ matrix:
       script:
         - cargo build
         - cargo build --features small
-    - rust: nightly
-      name: Miri
-      script:
-        - rustup component add miri || travis_terminate 0
+    - name: Miri
+      install:
+        - 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 component add miri
         - cargo miri setup
+      script:
         - cargo miri test