Skip to content
Started 4 yr 6 mo ago
Took 1 hr 41 min on workermta1
Success

#1365 (Sep 12, 2019, 2:29:04 PM)

Build Artifacts
Changes

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

  1. discontinued obsolete "isabelle imports" and all_known data; (detail / hgweb)
  2. avoid duplicate directories wrt. synthetic session; (detail / hgweb)
  3. disallow accidental duplicates within the same session specification -- proper total match; (detail / hgweb)
  4. find theory files via session structure: much faster Prover IDE startup; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 0 sec waiting;
  • 1 hr 41 min build duration;
  • 1 hr 43 min total from scheduled to completion.
Revision: 9cde8c4ea5a5aa8d7b79c312cd318838b7698888
Revision: 98320942654aaf57ea6e91c1863b1ce192bc59cd