#1997 (Aug 7, 2023, 12:50:09 AM)

1. update to polyml-219e0a248f70, with more robust support for ARM64; (detail / hgweb)
2. tuned generated README; (detail / hgweb)
3. merged (detail / hgweb)
4. Tidied up more messy proofs (detail / hgweb)
5. hints on "hg bisect"; (detail / hgweb)
6. no hardwired timeout in Isabelle distribution (unlike on AFP): reverting part of 74c75da4cb01 -- without further tinkering it breaks isabelle_cronjob builds; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 2 hr 2 min build duration;
• 2 hr 2 min total from scheduled to completion.