Zulip Chat Archive

Stream: general

Topic: Is mathlib too big?


view this post on Zulip Chris Hughes (Jun 02 2018 at 10:11):

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.

view this post on Zulip Gabriel Ebner (Jun 02 2018 at 10:13):

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

view this post on Zulip Gabriel Ebner (Jun 02 2018 at 10:13):

And yes, unfortunately mathlib is too successful.

view this post on Zulip Kenny Lau (Jun 02 2018 at 10:14):

curious


Last updated: May 15 2021 at 22:14 UTC