11 Jan
2019
11 Jan
'19
1:18 a.m.
Ömer Sinan Ağacan <omeragacan@gmail.com> writes:
As I mention in the documentation, those with commits bits should feel free to push branches to ghc/ghc.
This is sometimes not ideal as it wastes GHC's CI resources. For example I make a lot of WIP commits to my work branches, and I don't want to keep CI machines busy for those.
This is precisely why we have the two-phase CI configuration. It ensures that obviously-wrong changes waste no more than two Linux builds worth of effort. We currently have plenty of Linux capacity so I'm not terribly worried about this. Cheers, - Ben