#2099 (Jan 15, 2024, 5:17:16 AM)

1. support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49"; (detail / hgweb)
2. merged (detail / hgweb)
3. tuned; (detail / hgweb)
4. update links; (detail / hgweb)
5. follow post-maintenance updates of original Phabricator, as base-line for Phorge; (detail / hgweb)
6. refer to "localhost" as pro-forma domain; (detail / hgweb)
7. simplified specification of type class (detail / hgweb)
8. consolidated name of lemma analogously to nat/int/word_bit_induct (detail / hgweb)

Started by an SCM change

This run spent:

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