#2056 (Nov 13, 2023, 12:50:06 AM)

1. merged (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. support for "cluster" table with "hosts" array, and params/options as for "host" table;
   support for "isabelle build -H cluster.name"; (detail / hgweb)
4. clarified signature: more operations, allow recursive get; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned signature: more operations; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned output; (detail / hgweb)
9. more robust: prefer strict operations; (detail / hgweb)
10. tuned message; (detail / hgweb)
11. tuned signature: more operations; (detail / hgweb)
12. more specific name for type class (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 2 hr 4 min build duration;
• 2 hr 4 min total from scheduled to completion.