#1918 (Mar 18, 2023, 12:50:10 AM)

1. merged (detail / hgweb)
2. merged (detail / hgweb)
3. Proof simplification (detail / hgweb)
4. proper "build_thorough" for "isabelle update" (amending 9e5f8f6e58a0); (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 55 min build duration;
• 1 hr 56 min total from scheduled to completion.