#1499 (Mar 3, 2018, 10:04:05 PM)

1. more Java heap, e.g. relevant for hg.graph on Isabelle repository; (detail / hgweb)
2. more robust check -- do not rely on return code; (detail / hgweb)
3. more compact ML_Statistics, to make build_status work with less than 2GB heap; (detail / hgweb)
4. retain latest ml_stats (amending e76c6cb0d461); (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 52 min build duration;
• 57 min total from scheduled to completion.