#1707 (Jun 7, 2022, 12:50:07 AM)

1. removed obsolete self_update: always enabled, notably on lxbroy10 which is the only shared-home system (and still requires current isabelle_self); (detail / hgweb)
2. avoid redundant meta data: exclude .hg_archival.txt; (detail / hgweb)
3. clarified remote vs. local build_history: operate on hg_sync directory instead of repository; (detail / hgweb)
4. proper operation on String, not Path; (detail / hgweb)
5. clarified signature: cwd can be misleading --- changes meaning of target; (detail / hgweb)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 36 min total from scheduled to completion.