#5113 (Mar 25, 2024, 3:04:06 PM)

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

1. documented running time function framework by Jonas Stahl (detail / hgweb)

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

1. merge (detail)
2. feat(Transport) major improvement of overloaded properties + new relational properties (detail)
3. fix(ML_Unification) replace binders before aeconv (avoids lowering) (detail)
4. feat(ML_Unification) add simplification+unification unifier; fix context merge bug for uhints; cleaner code (detail)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 42 min build duration;
• 44 min total from scheduled to completion.