#1060 (Nov 14, 2019, 12:50:07 AM)

1. updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417); (detail / hgweb)
2. more support for multiple daemons; (detail / hgweb)
3. more robust: system ssh service is required for Phabricator ssh service; (detail / hgweb)
4. removed obsolete material: already covered by documentation or tools; (detail / hgweb)
5. configure SSH hosting via "isabelle phabricator_setup_ssh";
   tuned message; (detail / hgweb)
6. more robust; (detail / hgweb)
7. clarified signature;
   more operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.