Started 1 mo 17 days ago
Took 5 min 39 sec on workermta1

Success Build #1861 (Apr 9, 2020 10:08:04 PM)

Build Artifacts
Changes

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

  1. avoid hard-wired stuff: configure via plugin services; (detail / hgweb)
  2. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 5 min 39 sec build duration;
  • 7 min 40 sec total from scheduled to completion.
Revision: de37910974da85baa409206609690391f20d406c
Revision: 9a2a0d63ca30f68f5607dd87870e1e8adbd5ea55