#5131 (Mar 27, 2024, 3:46:42 PM)

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

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

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. Brought this new entry up-to-date with the development version (detail)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 4 min 27 sec build duration;
• 6 min 31 sec total from scheduled to completion.

• Continued_Fractions