#5309 (Jun 8, 2024, 11:21:33 AM)

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

1. build manager: echo error messages to server output; (detail / hgweb)
2. omit showing previous failures for user builds; (detail / hgweb)
3. always handle interrupted jobs; (detail / hgweb)
4. add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware; (detail / hgweb)
5. clarified context: operations now in build process; (detail / hgweb)
6. clarified: add explicit build process; (detail / hgweb)
7. remove unnecessary subdir; (detail / hgweb)
8. tuned; (detail / hgweb)

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

1. adapt to Isabelle/17d2f775907a; (detail)
2. merge (detail)
3. feat(ML_Unification) change parten session to HOL to reduce compilation time (detail)

Started by an SCM change

This run spent:

• 3 min 29 sec waiting;
• 34 min build duration;
• 37 min total from scheduled to completion.