#1366 (Dec 22, 2020, 12:50:10 AM)

1. less aggressive auto-build: avoid change of running jar; (detail / hgweb)
2. clarified window size; (detail / hgweb)
3. more robust Java monitor: avoid odd warning about insecure connection; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. clarified modules; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. misc tuning for release; (detail / hgweb)
8. rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer; (detail / hgweb)
9. sort lines; (detail / hgweb)
10. provide zipperposition-2.0 for experimentation; (detail / hgweb)
11. merged (detail / hgweb)
12. tweaked tptp parsing when source info is missing (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 30 min total from scheduled to completion.