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

Progress:
In progress Build #2253 (Sep 24, 2020 9:32:02 PM)

Changes

Mercurial (hg https://isabelle.sketis.net/repos/isabelle/ default)

  1. tuned; (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. tuned; (detail / hgweb)
  4. proper platform_path for Windows; (detail / hgweb)
  5. evaluate PolyML via running Isabelle/ML; (detail / hgweb)
  6. output via file instead of stdout; (detail / hgweb)
  7. proper context; (detail / hgweb)
  8. clarified signature; (detail / hgweb)
  9. tuned signature; (detail / hgweb)

Started by an SCM change

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

Revision: ccc104786829c0a93f687d9fd5aac11872b3ba14
Revision: fc5cd372b5079d6ec9730f0635b0b2894725ab80