Validate output of MIRI

apache · Jul 21, 2021 · 2ed25c7 · 2ed25c7
1 parent d8da826
commit 2ed25c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml
@@ -57,4 +57,4 @@ jobs:
           cargo clean
           # Currently only the arrow crate is tested with miri
           # IO related tests and some unsupported tests are skipped
-          cargo miri test -p arrow -- --skip csv --skip ipc --skip json || true
+          cargo miri test -p arrow -- --skip csv --skip ipc --skip json