From fef5146e911dc3f55104e7ba2fc3add3f169b5d1 Mon Sep 17 00:00:00 2001 From: Andrew Lamb Date: Wed, 21 Jul 2021 10:00:00 -0400 Subject: [PATCH] Validate output of MIRI (#578) --- .github/workflows/miri.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml index 36ac0a3717cb..136b0e136008 100644 --- 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