#2063 (Nov 27, 2023, 12:50:10 AM)

1. more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content); (detail / hgweb)
2. tuned whitespace; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 2 hr 4 min build duration;
• 2 hr 4 min total from scheduled to completion.