#962 (Jun 17, 2017, 5:10:04 PM)

1. more permissive: avoid situations where query is silently ignored; (detail / hgweb)
2. more robust: do not touch unrelated directory isabelle_repos_other (i.e. bad argument); (detail / hgweb)
3. always start with fresh clone (with explicitly given rev): more robust on Windows; (detail / hgweb)
4. reverted 94cad7590015: does not help much on Windows; (detail / hgweb)
5. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 2 hr 14 min build duration;
• 2 hr 19 min total from scheduled to completion.