#1291 (Sep 30, 2020, 12:50:07 AM)

1. clarified names; (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. formal platform information, notably for ssh; (detail / hgweb)
5. clarified message; (detail / hgweb)
6. more robust executor policy after shutdown; (detail / hgweb)
7. clarified message; (detail / hgweb)
8. clarified names; (detail / hgweb)
9. more reactive kodkod execution: avoid confusion about timeout/deadline; (detail / hgweb)
10. allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM; (detail / hgweb)
11. clarified default (see also 0c7a74a1c6d9); (detail / hgweb)
12. tuned; (detail / hgweb)
13. obsolete --- Java is always present via component; (detail / hgweb)
14. obsolete --- KODKODI is always present via component; (detail / hgweb)
15. obsolete --- ML module Nitpick resides within theory Nitpick (see also 7b8c366e34a2, 1fba360b5443); (detail / hgweb)
16. merged (detail / hgweb)
17. merged (detail / hgweb)
18. de-applying (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 28 min total from scheduled to completion.