#1681 (May 11, 2021, 1:33:08 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. Relational_Minimum_Spanning_Trees: refactoring Boruvka.thy (detail)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.