#1936 (Apr 15, 2023, 4:39:37 AM)

1. more direct hg_sync init via ssh (see also 721b3278c8e4); (detail / hgweb)
2. tuned; (detail / hgweb)
3. more operations; (detail / hgweb)
4. tuned: more direct re-use; (detail / hgweb)
5. more direct clone (see also change of exception in 8d8c70b41bab); (detail / hgweb)
6. more operations, following Isabelle/ML conventions; (detail / hgweb)
7. more operations, following Isabelle/ML conventions; (detail / hgweb)
8. proforma use of Long_Name.chunks, without change of the representation of accesses yet; (detail / hgweb)
9. merged (detail / hgweb)
10. minor performance tuning; (detail / hgweb)
11. compact representation of long name "chunks", with bitmask to suppress elements (i.e. "accesses" in name space terminology); (detail / hgweb)
12. clarified signature; (detail / hgweb)
13. misc tuning and clarification; (detail / hgweb)
14. more compact: avoid redundant entries; (detail / hgweb)
15. tuned; (detail / hgweb)
16. tuned; (detail / hgweb)
17. more operations; (detail / hgweb)
18. performance tuning: proper pointer_eq; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 49 min waiting;
• 2 hr 33 min build duration;
• 6 hr 23 min total from scheduled to completion.