#1608 (Dec 7, 2021, 3:32:42 AM)

1. discontinued old-style {* verbatim *} tokens; (detail / hgweb)
2. tuned proof; (detail / hgweb)
3. isabelle update_cartouches; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 42 min waiting;
• 1 hr 39 min build duration;
• 4 hr 22 min total from scheduled to completion.