#1155 (Mar 29, 2020, 1:08:16 AM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned; (detail / hgweb)
5. eliminated pointless flag (see also 6533ceee4cd7); (detail / hgweb)
6. tuned; (detail / hgweb)
7. merged (detail / hgweb)
8. structured a lot of ancient, horrible proofs (detail / hgweb)
9. clarified Isabelle_Process phases; (detail / hgweb)
10. clarified order: update syslog before handling exit; (detail / hgweb)
11. tuned error message; (detail / hgweb)
12. clarified signature: more robust startup_join; (detail / hgweb)

Started by an SCM change

This run spent:

• 18 min waiting;
• 1 hr 20 min build duration;
• 1 hr 38 min total from scheduled to completion.