diff --git a/.github/workflows/miri.sh b/.github/workflows/miri.sh index 14c5efd7e3b..56da5c5c5d3 100755 --- a/.github/workflows/miri.sh +++ b/.github/workflows/miri.sh @@ -15,4 +15,3 @@ cargo clean echo "Starting Arrow MIRI run..." cargo miri test -p arrow -- --skip csv --skip ipc --skip json -echo "Miri finished with exit code $?"