[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)

[Lars Hupel]

> "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.

Cheers
Lars