#573 (Dec 7, 2023, 2:22:37 PM)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. extracted lemma finite_progress out of proof (detail)

Started by an SCM change

This run spent:

• 3 hr 36 min waiting;
• 8 min 20 sec build duration;
• 3 hr 44 min total from scheduled to completion.