#5212 (Apr 16, 2024, 5:57:44 PM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. minor performance tuning: avoid redundant server access; (detail / hgweb)
5. tuned; (detail / hgweb)
6. clarified modules and options (from store); (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned; (detail / hgweb)
15. more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4); (detail / hgweb)
16. tuned messages; (detail / hgweb)
17. tuned; (detail / hgweb)
18. back to static numa_nodes (reverting part of c2c59de57df9); (detail / hgweb)
19. tuned messages; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 42 sec waiting;
• 13 min build duration;
• 17 min total from scheduled to completion.