#1664 (Mar 6, 2022, 12:50:08 AM)

1. recover platform-specific node binaries from original download, notably for node-pty for Terminal; (detail / hgweb)
2. tuned message; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned imports; (detail / hgweb)
5. misc tuning and clarification; (detail / hgweb)
6. more executable files;
   clarified modules; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned output; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. tuned, based on suggestions by IntelliJ IDEA; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified command-line options; (detail / hgweb)
13. update official Isabelle release, notably for "Admin/init -R"; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 37 min build duration;
• 1 hr 37 min total from scheduled to completion.