#2003 (Aug 24, 2023, 12:50:06 AM)

1. merged (detail / hgweb)
2. A subtle fix involving the "measurable" attribute (detail / hgweb)
3. merged (detail / hgweb)
4. Numerous minor tweaks and simplifications (detail / hgweb)
5. substantial tidy-up, shortening many proofs (detail / hgweb)
6. add Go component (detail / hgweb)

Started by an SCM change

This run spent:

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