Started 49 min ago
Took 4 min 19 sec on workermta1

Failed Build #1459 (Oct 20, 2019 10:44:07 PM)

Build Artifacts
Changes

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

  1. avoid spurious shyps (with vacous type variable); (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 4 min 19 sec build duration;
  • 6 min 23 sec total from scheduled to completion.
Revision: 692095bafcd905513fc439e66a4690f1f4463805
Revision: 2ac9ae9dd0f6a1d75e8b73820f95e2ea2d75ea48