Skip to content

Commit

Permalink
Do not print exit code from miri, instead it should be the return val…
Browse files Browse the repository at this point in the history
…ue of the script
  • Loading branch information
jhorstmann committed Jun 15, 2022
1 parent 328c680 commit 1c0eef1
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion .github/workflows/miri.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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 $?"

0 comments on commit 1c0eef1

Please sign in to comment.