#1181 (Sep 28, 2017, 10:25:06 AM)

1. merged (detail / hgweb)
2. maintain loaded_files for each theory; (detail / hgweb)
3. clarified: more uniform results; (detail / hgweb)
4. slightly more parallelism; (detail / hgweb)
5. prefer sequential file-system access, but parallel parse; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified pure_files, based on uniform loaded_files; (detail / hgweb)
8. tuned; (detail / hgweb)
9. tuned signature -- more readable output as Scala value; (detail / hgweb)
10. more operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 53 min build duration;
• 58 min total from scheduled to completion.