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

Lars Hupel 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 mailing list