Github user uce commented on the issue:
https://github.com/apache/flink/pull/3344
I think that 10 minutes are actually quite an improvement. Currently, the
PR builds usually time out and we only see red crosses next to the PR
(including this one ;)). I would certainly try this setup.
I also see that this is not a long term solution. @greghogan I don't know
what the plans are about splitting the repository. The discussion stalled,
because there was no solution that made all contributors/committers happy I
think. I think we really need someone who can drive the discussion and has time
available to try different setups, etc.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
