Started 5 hr 29 min ago
Took 1 hr 23 min on workermta1

Failed Build #2782 (Apr 16, 2021 7:29:12 AM)

Build Artifacts
Changes

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

  1. proper context variable handling when stripping leadings quantifiers from test goals (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 1 hr 23 min build duration;
  • 1 hr 25 min total from scheduled to completion.
Revision: ed5226fdf89d32e5d537e2d4e22d9bfb13c040a6
Revision: 401da3b5743dba616518e259f1d8c5ccfe6cf79e
Failed entries: