Started 1 mo 13 days ago
Took 22 min on workermta1

Success Build #2686 (Mar 3, 2021 11:25:24 PM)

Build Artifacts
Changes

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

  1. tuned --- fewer warnings; (detail / hgweb)
  2. tuned --- fewer warnings; (detail / hgweb)
  3. more robust error; (detail / hgweb)
  4. tuned --- fewer warnings; (detail / hgweb)
  5. tuned --- fewer warnings; (detail / hgweb)
  6. tuned --- fewer warnings; (detail / hgweb)
  7. updated to scala-2.13.5 (with scala-swing_2.13-3.0.0); (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 22 min build duration;
  • 24 min total from scheduled to completion.
Revision: 78aa7846e91fe11fd90c7990112922d9e44d3ffb
Revision: f29eeda4f51948f40a4ec7df98eb3d8ed352aee9