From ff951b42f5841db01d6c60003fab81f2a7e50114 Mon Sep 17 00:00:00 2001 From: Jeffrey <22608443+Jefffrey@users.noreply.github.com> Date: Tue, 26 Dec 2023 23:57:27 +1100 Subject: [PATCH] ci: Fail Miri CI on first failure (#5243) * Fail Miri CI on first failure * Ignore crates with asm --- .github/workflows/miri.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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