Started 1 mo 29 days ago
Took 9 min 30 sec on workermtahpc

Build #4127 (Dec 7, 2022, 9:42:19 PM)

Changes

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

  1. tuned; (detail / hgweb)
  2. merged (detail / hgweb)
  3. clarified signature: just one level of arguments to avoid type-inference problems; (detail / hgweb)
  4. tuned signature: more operations; (detail / hgweb)
  5. tuned; (detail / hgweb)
  6. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 17 sec waiting;
  • 9 min 30 sec build duration;
  • 12 min total from scheduled to completion.
Revision: 5af17ce5d297741253c781ae2836ae571ba94a3c
Revision: c211edfd5b6e814ef087f6588a543eba39c5a139