#2056 (Sep 4, 2022, 1:34:08 AM)

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

1. tuned signature; (detail)
2. check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset"; (detail)
3. tuned signature; (detail)
4. tuned --- more robust syntax; (detail)
5. tuned signature; (detail)
6. back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination"; (detail)
7. unused (see 347ed6219dab); (detail)
8. tuned signature; (detail)

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

1. tuned signature; (detail)
2. merged (detail)
3. Substantial additions by Franz Regensburger to the Universal_Turing_Machine entry (detail)
4. tuned timeouts, based on test runs with threads=1; (detail)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.