#2064 (Sep 14, 2022, 1:33:10 AM)

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

1. more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier; (detail)
2. more concise instance-specific rules on euclidean relation (detail)
3. merged (detail)
4. Tidied a few more proofs (detail)
5. merged (detail)
6. tidied a few ugly proofs (detail)
7. let rsync re-use ssh connection via control path; (detail)
8. clarified command-line; (detail)
9. clarified command-line; (detail)
10. tuned signature; (detail)
11. proper port for Mercurial; (detail)
12. clarified default: do not override port from ssh_config, which could be different from 22; (detail)
13. proper Scala expression; (detail)
14. clarified signature: separate unrelated modules; (detail)
15. tuned; (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. merged (detail)
2. Purely cosmetic (detail)
3. merged (detail)
4. Deleted one redundant step (detail)
5. merged (detail)
6. Merge (detail)
7. Tidied (a lot) (detail)

Started by an SCM change

This run spent:

• 7.8 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.