Started 12 hr ago
Took 1 hr 42 min on workermta1

Failed Build #1309 (Aug 17, 2019 8:02:04 PM)

Build Artifacts
Changes

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

  1. clarified signature; (detail / hgweb)
  2. discontinued peek_status: unused and not clearly defined; (detail / hgweb)
  3. more documentation on oracles; (detail / hgweb)
  4. proper theory context for global props; (detail / hgweb)
  5. more thorough check, using full dependency graph of finished proofs; (detail / hgweb)
  6. added ML antiquotation @{oracle_name}; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 0 sec waiting;
  • 1 hr 42 min build duration;
  • 1 hr 44 min total from scheduled to completion.
Revision: d94456876f2d3d5900588d241f1be39642eebb5b
Revision: 4ae15ccd71e7eb98d2c8f165ca0f7ce78b25b0e8
Failed entries: