#1802 (Oct 26, 2022, 12:50:09 AM)

1. more macOS platforms, without reference hardware; (detail / hgweb)
2. official release; (detail / hgweb)
3. merged (detail / hgweb)
4. Added tag Isabelle2022 for changeset 1ac2416e8432 (detail / hgweb)
5. tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF; (detail / hgweb)
6. tuned signature, e.g. for Isabelle/DOF; (detail / hgweb)
7. updated to naproche-20221024: minor changes to documentation; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 50 min build duration;
• 1 hr 51 min total from scheduled to completion.