Skip to content
Started 3 yr 6 mo ago
Took 14 min on workermta1
Success

#2244 (Sep 20, 2020, 8:41:04 PM)

Build Artifacts
Changes

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

  1. merged (detail / hgweb)
  2. de-applying and simplifying (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 14 min build duration;
  • 16 min total from scheduled to completion.
Revision: 7e90e1d178b52db53c3eb147dd3e5bff9a5cf83a
Revision: 054fe88b46e0be6bd769b320c29c9d729fc8ab3f