#725 (Sep 4, 2018, 12:50:10 AM)

1. tuned (detail / hgweb)
2. more robust: parents are strict in Export_Theory.read_theory and thus approximate "commit" of exports; (detail / hgweb)
3. more detailed progress; (detail / hgweb)
4. more informative node_status; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. more robust default options, notably for node consolidation; (detail / hgweb)
7. tuned; (detail / hgweb)
8. more robust: load_theories after consumer is installed; (detail / hgweb)
9. merged (detail / hgweb)
10. proper polarity of terminated status; (detail / hgweb)
11. merged (detail / hgweb)
12. tagged 1 theory: Great_Picard (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.