ci: Fail Miri CI on first failure (apache#5243)

* Fail Miri CI on first failure * Ignore crates with asm
doki23 · Dec 26, 2023 · ff951b4 · ff951b4
1 parent 0eb8a08
commit ff951b4
Showing 1 changed file with 5 additions and 2 deletions.
diff --git 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