#2199 (Jun 5, 2024, 12:50:08 AM)

1. read prefs properly; (detail / hgweb)
2. allow explicit Isabelle rev in build task (e.g., for older Isabelle versions); (detail / hgweb)
3. web app: proper document height; (detail / hgweb)
4. merged (detail / hgweb)
5. replace manual def. of timing function (detail / hgweb)
6. add build manager module; (detail / hgweb)
7. support ci job via hg_sync (cf. 7883f221d6d3); (detail / hgweb)
8. tuned; (detail / hgweb)
9. use Content-Digest header in HEAD requests instead of length (to track non-monotone changes); (detail / hgweb)

Started by an SCM change

This run spent:

• 5.6 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.