You are viewing a plain text version of this content. The canonical link for it is here.

Posted to github@arrow.apache.org by GitBox <gi...@apache.org> on 2022/06/15 08:45:17 UTC

[GitHub] [arrow-rs] tustvold commented on pull request #1873: Do not print exit code from miri, instead it should be the return value of the script

tustvold commented on PR #1873:
URL: https://github.com/apache/arrow-rs/pull/1873#issuecomment-1156178474

   I think this just needs a rebase and then it can go in?


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: github-unsubscribe@arrow.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org