Started 4 hr 11 min ago
Took 1 hr 10 min on workermta1

Success Build #1835 (Mar 30, 2020 10:50:03 AM)

Build Artifacts
Changes

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

  1. redunant simp rule (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 0 sec waiting;
  • 1 hr 10 min build duration;
  • 1 hr 12 min total from scheduled to completion.
Revision: 2e8f861d21d428562022bec7498b0a54f09279b2
Revision: 81ec186eae5e9cd7f0bd307a2f5009f3fd143695