Validate output of MIRI (#578) (#610)

apache · Jul 26, 2021 · 4ee9149 · 4ee9149
1 parent e0d1d5b
commit 4ee9149
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