Started 4 hr 35 min ago
Took 9 min 26 sec on workermtahpc

Build #4129 (Dec 8, 2022, 10:45:21 PM)

Changes

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

  1. clarified signature: proper scopes and types; (detail / hgweb)
  2. maintain global state of document editor views, notably for is_active operation; (detail / hgweb)
  3. tuned signature; (detail / hgweb)
  4. tuned whitespace; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 19 sec waiting;
  • 9 min 26 sec build duration;
  • 12 min total from scheduled to completion.
Revision: 6e2383488a558f6dcc694b969c140a8511414bf7
Revision: c211edfd5b6e814ef087f6588a543eba39c5a139