Skip to content
Started 3 yr 6 mo ago
Took 2 hr 14 min on workermta1
Failed

#2258 (Sep 25, 2020, 5:01:33 PM)

Build Artifacts
Changes

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

  1. follow Phabricator update 2020 Week 37; (detail / hgweb)
  2. clarified defaults for nitpick; (detail / hgweb)
  3. tuned nitpick message: more like quickcheck; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 2 hr 14 min build duration;
  • 2 hr 16 min total from scheduled to completion.
Revision: 9f07e961a2b09ec4add30631569bd8bc9413b924
Revision: cd5e6da9925e7cb6ddada834660656cdcff0ed18
Failed entries: