On Mon, Jun 15, 2015 at 04:25:16PM +0300, Nikolai Kondrashov wrote: > I'm fine with this. But then, I don't often push to CI. What about others? I think it's worth trying out. I prefer precision over speed, because the history already shown we're not great at running the strictest set.