nevi-me commented on pull request #8791: URL: https://github.com/apache/arrow/pull/8791#issuecomment-735208460
Thanks Daniël, I'm looking into what we can change in our CI to avoid running out of disk space. I'll try fix that today. Given that CI isn't cheap (as we now see from Travis), it's not always possible to rerun CI before merging PRs, to check if they break anything merged before them. ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: [email protected]
