From 4230f7a3e868b59a4072b353e61b8187046dbf0c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rn=20Horstmann?= Date: Thu, 16 Jun 2022 21:09:36 +0200 Subject: [PATCH] Do not print exit code from miri, instead it should be the return value of the script (#1873) --- .github/workflows/miri.sh | 1 - 1 file changed, 1 deletion(-) 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 $?"