Skip to content
Started 1 hr 49 min ago
Build has been executing for 1 hr 49 min on workermtahpc

Build #4688 (Sep 24, 2023, 8:36:32 PM)
Progress:

Changes

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

  1. clarified signature; (detail / hgweb)
  2. clarified signature; (detail / hgweb)
  3. clarified signature; (detail / hgweb)
  4. minor performance tuning; (detail / hgweb)

Started by an SCM change

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

Revision: e10ef4f9c84847ac381ee7fe6775257bbd27b69a
Revision: 068d4f8c4523d5e1078e1619111dae4057345401