jorgecarleitao commented on pull request #8665: URL: https://github.com/apache/arrow/pull/8665#issuecomment-727584271
Running the CI on separate feature fits exactly what I was thinking about. IMO we could then benefit from some clarity over how we merge PRs from here on: do we wait for someone with a machine with avx512 to run the PR locally before merging? Or do we accept breaking that feature set? Note that any PR can break a feature (e.g. removing a `use` from the top of the module is often sufficient, as it just happened recently to me on #8670). ---------------------------------------------------------------- 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]
