#2829 (May 5, 2021, 10:50:06 PM)

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

1. merged (detail / hgweb)
2. tuned --- rename = dist_name is sufficient; (detail / hgweb)
3. proper dist_name; (detail / hgweb)
4. clarified option -P: allow empty argument; (detail / hgweb)
5. support for existing release archive;
   misc tuning and clarification; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. more website content; (detail / hgweb)
9. misc tuning and clarification: more explicit types Release_Context, Release_Archive; (detail / hgweb)
10. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 22 min build duration;
• 24 min total from scheduled to completion.