#3408 (Jan 26, 2022, 2:08:06 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis) (detail)

Started by an SCM change

This run spent:

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