Skip to content
Started 4 yr 9 mo ago
Took 18 min on workermta1
Failed

#1215 (Jun 22, 2019, 3:44:05 PM)

Build Artifacts
Changes

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

  1. streamlined setup for linear algebra, particularly removed redundant rule declarations (detail / hgweb)
  2. tuned (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 18 min build duration;
  • 20 min total from scheduled to completion.
Revision: 4a327c061870b0d6e0072558e3966abbcf648251
Revision: ec3ff55171a95c2b44120d974b239e8d9bbcf65f
Failed entries:
  • Distribution