#1545 (Sep 8, 2021, 2:45:31 AM)

1. more markup, e.g. to locate defining theory node in formal document output; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. export other entities, e.g. relevant for formal document output;
   clarified markup kind (PIDE) vs. export kind (e.g. MMT); (detail / hgweb)
4. pointer_eq_ord: minor performance tuning; (detail / hgweb)
5. more robust: progress.stopped means that build has failed; (detail / hgweb)
6. more reactive interrupt; (detail / hgweb)
7. more reactive interrupt; (detail / hgweb)
8. more robust: retain length of results; (detail / hgweb)
9. more reactive interrupt; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned; (detail / hgweb)
14. merged (detail / hgweb)
15. clarified modules; (detail / hgweb)
16. more scalable operations; (detail / hgweb)
17. more scalable operations; (detail / hgweb)
18. tuned; (detail / hgweb)
19. clarified modules; (detail / hgweb)
20. clarified signature;
    minor performance tuning; (detail / hgweb)
21. more scalable operations; (detail / hgweb)
22. unused; (detail / hgweb)
23. more efficient operations: traverse hyps only when required; (detail / hgweb)
24. more robust signature: result has no particular order; (detail / hgweb)
25. more scalable operations; (detail / hgweb)
26. unused; (detail / hgweb)
27. more scalable operations; (detail / hgweb)
28. clarified; (detail / hgweb)
29. tuned signature; (detail / hgweb)
30. clarified signature; (detail / hgweb)
31. more scalable operations; (detail / hgweb)
32. clarified signature; (detail / hgweb)
33. tuned signature; (detail / hgweb)
34. more scalable operations; (detail / hgweb)
35. more scalable operations; (detail / hgweb)
36. more scalable operations;
    tuned; (detail / hgweb)
37. more scalable operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 55 min waiting;
• 2 hr 5 min build duration;
• 4 hr 1 min total from scheduled to completion.