#2001 (Aug 11, 2023, 12:50:08 AM)

1. back to post-release mode -- after fork point; (detail / hgweb)
2. Added tag Isabelle2023-RC3 for changeset f5fb5bb2533f (detail / hgweb)
3. clarified option name (see also ff43a524aa5d); (detail / hgweb)
4. more thorough ML_Heap.restore: include ancestors;                                                         prefer simultaneous ML_Heap.get_entries: just one database access for heap hierarchy; (detail / hgweb)
5. more robust: atomic file-system result via tmp file; (detail / hgweb)
6. removed junk (amending 8cd399b25dac); (detail / hgweb)
7. more robust wrt. undefined state; (detail / hgweb)
8. more informative error; (detail / hgweb)
9. more robust; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. clarified signature: more explicit types; (detail / hgweb)
12. more informative shasum: show differences explicitly; (detail / hgweb)
13. tuned messages; (detail / hgweb)
14. more robust ancestor_results: avoid total existence failure after build_process has crashed elsewhere; (detail / hgweb)
15. clarified synchronized regions: avoid deadlock of Build_Cluster operations on other thread vs. return_code(), notably via capture() error handling; (detail / hgweb)

Started by an SCM change

This run spent:

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