diff --git a/.github/workflows/miri.sh b/.github/workflows/miri.sh index 5057c876b952..44485cacce64 100755 --- a/.github/workflows/miri.sh +++ b/.github/workflows/miri.sh @@ -5,6 +5,8 @@ # Must be run with nightly rust for example # rustup default nightly +set -e + export MIRIFLAGS="-Zmiri-disable-isolation" cargo miri setup cargo clean @@ -13,6 +15,7 @@ echo "Starting Arrow MIRI run..." cargo miri test -p arrow-buffer cargo miri test -p arrow-data --features ffi cargo miri test -p arrow-schema --features ffi -cargo miri test -p arrow-array -cargo miri test -p arrow-arith cargo miri test -p arrow-ord +# inline assembly not supported by Miri +# cargo miri test -p arrow-array +# cargo miri test -p arrow-arith