#2100 (Jan 16, 2024, 5:19:39 AM)

1. streamlined type class specification (detail / hgweb)
2. consolidated lemma name (detail / hgweb)

Started by an SCM change

This run spent:

• 4 hr 29 min waiting;
• 2 hr 1 min build duration;
• 6 hr 31 min total from scheduled to completion.