Skip to content
Started 4 yr 9 mo ago
Took 10 hr on workerlrz5
Success

#1202 (Oct 2, 2019, 1:33:11 AM)

Build Artifacts
Changes

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

  1. avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value; (detail)
  2. consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies); (detail)
  3. obsolete (see 60abd1e94168); (detail)
  4. more robust after shutdown; (detail)
  5. more sequential access to Session.manager.global_state: avoid minor divergence of tip version; (detail)

Started by an SCM change

This run spent:

  • 7.7 sec waiting;
  • 10 hr build duration;
  • 10 hr total from scheduled to completion.
Revision: 97b168f0c3a3fea639214d6f1d9177b06f231e8b
Revision: dcb063b90519eb4c44b63f0ce6cea4f4c25ac6fd