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.