#1460 (May 11, 2021, 12:50:08 AM)

1. proper build for fresh target directory (amending d9823224fcfe); (detail / hgweb)
2. put more resources into jedit_build component; (detail / hgweb)
3. more brackets (see f6b453449cc6); (detail / hgweb)
4. more brackets; (detail / hgweb)
5. proper settings variable, amending 6e85281177df; (detail / hgweb)
6. merged (detail / hgweb)
7. tuned proofs --- avoid z3, which is absent on arm64-linux; (detail / hgweb)
8. proper condition: z3 could be absent, e.g. on arm64-linux; (detail / hgweb)
9. build auxiliary jEdit component in Isabelle/Scala;
   clarified directory layout; (detail / hgweb)
10. separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597); (detail / hgweb)
11. tuned message; (detail / hgweb)
12. clarified signature; (detail / hgweb)
13. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

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