Started 9 hr 43 min ago
Took 1 hr 39 min on workermta1

Failed Build #768 (Jan 21, 2019 11:34:34 PM)

Build Artifacts
Changes

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

  1. updated news (detail / hgweb)
  2. get rid of visibility in MaSh -- it slows it down more than it helps (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 0 sec waiting;
  • 1 hr 39 min build duration;
  • 1 hr 41 min total from scheduled to completion.
Revision: 920fe0a2fd2284f4a711c307b6ebdbd0156a8788
Revision: 6cefddcee1f7fc523e66d0e24e1d33466b7821c4
Failed entries: