Skip to content
Started 5 yr 2 mo ago
Took 54 min on workermta1
Success

#738 (Jan 16, 2019, 5:59:04 PM)

Build Artifacts
Changes

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

  1. merged (detail)
  2. adapted to devel (detail)

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

  1. Reorg of material (detail / hgweb)
  2. redundant lemma (detail / hgweb)
  3. tuned headers (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 54 min build duration;
  • 56 min total from scheduled to completion.
Revision: de2f0a24b0f00e0b372c095615d1117958f287e3
Revision: 1dd636db244334d92af7a37aae326c63d0817bf4