disable miri on windows

crossbeam-rs · Oct 9, 2020 · bb2a864 · bb2a864
1 parent 77cb6aa
commit bb2a864
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -4,6 +4,10 @@ set -ex
 
 export RUSTFLAGS="-D warnings"
 
+if [[ "$OSTYPE" != "linux"* ]]; then
+    exit 0
+fi
+
 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
 rustup set profile minimal
 rustup update "$MIRI_NIGHTLY"