#633 (Dec 12, 2018, 9:14:07 PM)

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

1. merged; (detail / hgweb)
2. more Haskell operations; (detail / hgweb)
3. more uniform multi-language operations;
   misc tuning and clarification; (detail / hgweb)
4. more Haskell operations; (detail / hgweb)
5. more uniform multi-language operations;
   misc tuning and clarification; (detail / hgweb)
6. more uniform multi-language operations;
   clarified modules and signature; (detail / hgweb)
7. more operations (as in ML); (detail / hgweb)
8. more uniform multi-language operations;
   clarified modules and signature; (detail / hgweb)
9. more uniform multi-language operations; (detail / hgweb)

Started by an SCM change

This run spent:

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