Do not print exit code from miri, instead it should be the return value of the script

jhorstmann · jhorstmann · commit 02bfbbfdb166 · 2022-06-14T10:02:47.000+02:00
diff --git 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 $?"

Original file line number	Diff line number	Diff line change
`@@ -15,4 +15,3 @@ cargo clean`
`15`	`15`
`16`	`16`	`echo "Starting Arrow MIRI run..."`
`17`	`17`	`cargo miri test -p arrow -- --skip csv --skip ipc --skip json`
`18`		`-echo "Miri finished with exit code $?"`