Skip to content
Started 5 yr 6 mo ago
Took 47 min on workermtahpc
Success

#400 (Sep 22, 2018, 12:38:08 AM)

Build Artifacts
Changes

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

  1. merged (detail / hgweb)
  2. more on product (function) topologies (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 47 min build duration;
  • 49 min total from scheduled to completion.
Revision: 30e88eabf1670807aed63e8f0083b97854863a4d
Revision: f102aa876d571345a8c409aea93353fddce3d3c0