#636 (Dec 13, 2018, 10:05:06 PM)

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

1. tuned signature; (detail / hgweb)
2. tuned; (detail / hgweb)
3. clarified UUID operations;
   proper check of server password; (detail / hgweb)
4. clarified protocol; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. more Haskell operations;
   clarified signature; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. clarified signature, e.g. for re-use by other servers; (detail / hgweb)
9. more Haskell operations; (detail / hgweb)
10. clarified modules and signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 1 hr 33 min build duration;
• 1 hr 35 min total from scheduled to completion.