Skip to content

Commit ff951b4

Browse files
authored
ci: Fail Miri CI on first failure (#5243)
* Fail Miri CI on first failure * Ignore crates with asm
1 parent 0eb8a08 commit ff951b4

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

.github/workflows/miri.sh

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,8 @@
55
# Must be run with nightly rust for example
66
# rustup default nightly
77

8+
set -e
9+
810
export MIRIFLAGS="-Zmiri-disable-isolation"
911
cargo miri setup
1012
cargo clean
@@ -13,6 +15,7 @@ echo "Starting Arrow MIRI run..."
1315
cargo miri test -p arrow-buffer
1416
cargo miri test -p arrow-data --features ffi
1517
cargo miri test -p arrow-schema --features ffi
16-
cargo miri test -p arrow-array
17-
cargo miri test -p arrow-arith
1818
cargo miri test -p arrow-ord
19+
# inline assembly not supported by Miri
20+
# cargo miri test -p arrow-array
21+
# cargo miri test -p arrow-arith

0 commit comments

Comments
 (0)