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

Lars Hupel hupel at in.tum.de
Mon Aug 8 11:14:04 CEST 2016

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:

  ML_OPTIONS="-H 1000 --gcthreads 2"


-------- 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:
-------------- 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

More information about the isabelle-dev mailing list