#1018 (Sep 26, 2019, 12:50:07 AM)

1. boot with Phabricator PHP daemon; (detail / hgweb)
2. clarified sshd setup: standard service on non-standard port 222, special "vcs" service on standard port 22; (detail / hgweb)
3. disable lrzcloud1 -- superseded by lrzcloud2; (detail / hgweb)
4. merged (detail / hgweb)
5. replaced new type ('a,'b) tree by old type ('a*'b) tree. (detail / hgweb)
6. more Phabricator configuration; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.