#4282 (Feb 5, 2023, 8:24:25 PM)

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

1. more diagnostic operations (see also 5c7652e9bc01); (detail / hgweb)
2. more thorough consolidation: follow dependencies of forked proofs (e.g. see theories MaxPrefix vs. MaxChop in AFP/Functional-Automata); (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 21 sec waiting;
• 9 min 33 sec build duration;
• 12 min total from scheduled to completion.