Is mathlib too big?

Stream: general

[Chris Hughes]

https://travis-ci.org/leanprover/mathlib/builds/386048419
https://travis-ci.org/leanprover/mathlib/builds/386808487
The job exceeded the maximum time limit for jobs, and has been terminated.

[Gabriel Ebner]

See discussion in the travis caching thread: https://leanprover.zulipchat.com/#narrow/stream/113488-general/subject/travis.20caching/near/127367872

[Gabriel Ebner]

And yes, unfortunately mathlib is too successful.

[Kenny Lau]

curious