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

[Lars Hupel]

Dear all,

the latest build failure for the repository is spurious:

*** exception Fail raised (line 83 of "./basis/PolyMLException.sml"):
Insufficient memory

This happened in HOL-Proofs. Makarius, it may or may not be connected to
the recent changes you did in proof reconstruction (994d1a1105ef).

For the record, the current "etc/settings" for this job look like this:

  ISABELLE_CI_PLATFORM=32
  ML_OPTIONS="-H 1000 --gcthreads 2"
  ML_PLATFORM="$ISABELLE_PLATFORM"

Cheers
Lars


-------- Forwarded Message --------
Subject: [Isabelle-ci] Build failure in Isabelle
Date: Sun, 7 Aug 2016 15:09:35 +0200 (CEST)
From: Isabelle/Jenkins <ci at isabelle.systems>
To: isabelle-ci at mail46.informatik.tu-muenchen.de

The Isabelle build failed. See the log at:
https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/352/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: build.log
Type: application/octet-stream
Size: 114597 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20160808/e087ec3d/attachment-0001.obj>
-------------- next part --------------
_______________________________________________
Isabelle-ci mailing list
Isabelle-ci at mail46.informatik.tu-muenchen.de
https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci