#1861 (Jan 13, 2023, 12:50:06 AM)

1. added session to mirabelle output directory structure (detail / hgweb)
2. More tidying of topology proofs (detail / hgweb)
3. Partial round of clearing up applys, etc (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 1 hr 51 min build duration;
• 1 hr 51 min total from scheduled to completion.