Started 11 hr ago
Took 2 hr 58 min on workermta1

Success Build #2851 (May 14, 2021 4:53:05 PM)

Build Artifacts
Changes

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

  1. strict_sorted now an abbreviation (detail / hgweb)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. strict_sorted now an abbreviation (detail)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 2 hr 58 min build duration;
  • 3 hr 0 min total from scheduled to completion.
Revision: 60a7884676399cdfa78d031f42cf8d1564b7e774
Revision: e93051f65b1aa9a15de2dca54282360231c7db28