mathlib

026d639f - ci(build.yml): add -T100000 to test step (#3017)

ci(build.yml): add -T100000 to test step (#3017) cf. #2276. This will also prevent some confusing timeouts, see e.g. https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Tests.20fail