Started 1 hr 30 min ago
Build has been executing for 1 hr 30 min on workermta1

Progress:
In progress Build #2684 (Mar 3, 2021 8:20:05 PM)

Changes

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

  1. slightly more efficient Term.fastype_of (only little impact in regular applications); (detail / hgweb)

Started by an SCM change

This run spent 2 min 3 sec waiting in the queue.

Revision: 88dd8a6a42ba51380e1b15594e5f7bed37ee36f0
Revision: 5638327e57dfc7e295198ef239829b289748f92a