[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)
hupel at in.tum.de
Wed Mar 13 21:06:20 CET 2019
> "Unable to increase stack" is one of the various messages that tells
> you that PolyML has run out of resources. It doesn't really tell you
> what the problem is though. It might be an actual problem or a
> temporary problem caused by a machine being overloaded.
This is likely connected to the recent change of platform. I will
investigate this; maybe bumping the memory limit will resolve it.
More information about the isabelle-dev