#1522 (Nov 14, 2019, 4:35:05 PM)

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

1. merged (detail / hgweb)
2. tuned PHP setup; (detail / hgweb)
3. clarified errors: PHP daemon can fail under odd circumstances; (detail / hgweb)
4. more robust; (detail / hgweb)
5. tuned message; (detail / hgweb)
6. more sanity checks; (detail / hgweb)
7. just one isabelle-phabricator-phd service, which manages all processes uniformly (NB: "bin/phd stop" affects all installations); (detail / hgweb)
8. clarified signature: allow compound arg; (detail / hgweb)
9. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 5 min 47 sec build duration;
• 7 min 48 sec total from scheduled to completion.