From 2ed25c70d9bf3b4d5a6404a1e4c20caad431edf2 Mon Sep 17 00:00:00 2001
From: Andrew Lamb <andrew@nerdnetworks.org>
Date: Tue, 20 Jul 2021 17:35:22 -0400
Subject: [PATCH] Validate output of MIRI

---
 .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