#2066 (Jun 19, 2020, 7:20:05 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. merged (detail / hgweb)
2. back to parallel compression: full AFP build does require 16GB Java heap (reverting 107472ccc60d); (detail / hgweb)
3. back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39); (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. avoid redundant export handling for build; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 19 min total from scheduled to completion.