diff --git a/ci/miri.sh b/ci/miri.sh
index 6fd9f37f8..64ba96b3e 100755
--- 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"