#1430 (Mar 28, 2021, 12:50:08 AM)

1. tuned; (detail / hgweb)
2. clarified; (detail / hgweb)
3. tuned message; (detail / hgweb)
4. tuned message; (detail / hgweb)
5. more accurate settings after update of current version; (detail / hgweb)
6. clarified messages; (detail / hgweb)
7. more robust: lest hg work out remote tip;
   more options; (detail / hgweb)
8. more options; (detail / hgweb)
9. clarified treatment of multiple versions: last one counts;
   more options; (detail / hgweb)
10. more robust; (detail / hgweb)
11. more robust: explicit repository root; (detail / hgweb)
12. more robust; (detail / hgweb)
13. more convenient repository setup; (detail / hgweb)
14. tuned; (detail / hgweb)
15. more robust invocation of hg; (detail / hgweb)
16. more robust: idempotent; (detail / hgweb)
17. more robust invocation of hg; (detail / hgweb)
18. tuned; (detail / hgweb)
19. clarified output;
    more options; (detail / hgweb)
20. support repository archives (without full .hg directory); (detail / hgweb)
21. more robust invocation of hg; (detail / hgweb)
22. record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted); (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 31 min total from scheduled to completion.