#1950 (May 8, 2023, 1:06:18 AM)

1. Importation of additional lemmas from metric.ml (detail / hgweb)

Started by an SCM change

This run spent:

• 16 min waiting;
• 2 hr 2 min build duration;
• 2 hr 18 min total from scheduled to completion.