#5286 (May 27, 2024, 5:53:07 PM)

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

1. merge (detail)
2. feat(Transport/HOL_Basics) add some missing types and cong rules; tune syntax (detail)
3. feat(ML_Unification/Logger) message filter on output strings (detail)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 19 min build duration;
• 21 min total from scheduled to completion.