#820 (Mar 27, 2024, 3:44:36 PM)

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

1. tuned; (detail)
2. more robust Markdown; (detail)
3. misc tuning;
   more text; (detail)
4. run "isabelle components_build -u"; (detail)
5. remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup"; (detail)
6. tuned order; (detail)
7. more Setup_Tool services; (detail)
8. clarified signature; (detail)
9. proper SSH operations; (detail)
10. tuned signature: more permissive; (detail)
11. clarified signature: explicit variable is easier to find in source; (detail)
12. proper services for Setup_Tool --- avoid hardwired stuff; (detail)

Started by an SCM change (5 times)

This run spent:

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

• refs/remotes/origin/master