On 06/15/2015 04:57 PM, Jakub Hrozek wrote:
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.
Alright, unless there's any opposition, I'll change the default to
"rigorous"
tomorrow.
Nick