#1529 (Mar 17, 2018, 9:19:06 PM)

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

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.