Zulip Chat Archive
Stream: general
Topic: travis: fork cannot allocate memory
Johan Commelin (Jun 05 2019 at 18:11):
What does this Travis error mean?
https://travis-ci.org/leanprover-community/mathlib/jobs/541682321
Chris Hughes (Jun 05 2019 at 18:12):
It means restart the build and it will probably work.
Johan Commelin (Jun 05 2019 at 18:15):
Tried that... failed again :sad:
Keeley Hoek (Jun 05 2019 at 22:45):
I guess lean ran out of memory
Chris Hughes (Jun 05 2019 at 22:57):
Can you build it on your own computer?
Last updated: Dec 20 2023 at 11:08 UTC