#1012 (Mar 27, 2024, 10:09:08 PM)

1. proper "isabelle go_setup" for Jenkins; (detail / hgweb)
2. dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24); (detail / hgweb)
3. tuned message; (detail / hgweb)
4. merged (detail / hgweb)
5. merged (detail / hgweb)
6. updated time functions for Array_Braun (detail / hgweb)
7. merged (detail / hgweb)
8. New material and a bit of refactoring (detail / hgweb)
9. tuned NEWS; (detail / hgweb)
10. support for "all" platforms; (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32); (detail / hgweb)
13. tuned; (detail / hgweb)
14. more robust Markdown; (detail / hgweb)
15. misc tuning;
    more text; (detail / hgweb)
16. run "isabelle components_build -u"; (detail / hgweb)
17. remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup"; (detail / hgweb)
18. tuned order; (detail / hgweb)
19. more Setup_Tool services; (detail / hgweb)
20. clarified signature; (detail / hgweb)
21. proper SSH operations; (detail / hgweb)
22. tuned signature: more permissive; (detail / hgweb)
23. clarified signature: explicit variable is easier to find in source; (detail / hgweb)
24. proper services for Setup_Tool --- avoid hardwired stuff; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 3.4 sec build duration;
• 10 sec total from scheduled to completion.

• Continued_Fractions