Build #214 (Sep 25, 2019 5:24:10 PM)

1. replaced new type ('a,'b) tree by old type ('a*'b) tree. (detail / hgweb)
2. merged (detail / hgweb)
3. some information about Phabricator server setup; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 7 min 12 sec build duration;
• 7 min 19 sec total from scheduled to completion.

• Priority_Search_Trees
• Weight_Balanced_Trees
• CakeML_Codegen