#582 (Mar 18, 2018, 12:50:09 AM)

1. fewer messages; (detail / hgweb)
2. output result messages; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. more position information; (detail / hgweb)
5. more robust check_state loop, even without session activity (e.g. idempotent use_theories); (detail / hgweb)
6. synchronized Session.update; (detail / hgweb)
7. more interruptible use_theories;
   tuned comments; (detail / hgweb)
8. clarified exception handling: include interrupts; (detail / hgweb)
9. support for repeated events; (detail / hgweb)
10. tuned; (detail / hgweb)
11. more interruptible;
    tuned signature; (detail / hgweb)
12. unload_theories: actually observe required state;
    misc tuning and clarification; (detail / hgweb)
13. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

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