This is an automated email from the ASF dual-hosted git repository.
tustvold pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/arrow-rs.git
The following commit(s) were added to refs/heads/master by this push:
new ff951b42f5 ci: Fail Miri CI on first failure (#5243)
ff951b42f5 is described below
commit ff951b42f5841db01d6c60003fab81f2a7e50114
Author: Jeffrey <[email protected]>
AuthorDate: Tue Dec 26 23:57:27 2023 +1100
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 5057c876b9..44485cacce 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
