#1304 (Oct 14, 2020, 12:50:07 AM)

1. more robust; (detail / hgweb)
2. merged (detail / hgweb)
3. proper target directory for libraries; (detail / hgweb)
4. proper library names on Windows; (detail / hgweb)
5. proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe"; (detail / hgweb)
6. build Isabelle Zipperposition component from OPAM repository; (detail / hgweb)
7. tuned messages --- less SPAM; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned; (detail / hgweb)
10. misc tuning and clarification: prefer Executable.libraries_closure; (detail / hgweb)
11. tuned; (detail / hgweb)
12. more portable;
    tuned; (detail / hgweb)
13. reconstruction of veriT proofs in NEWS (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.