Skip to content
Started 2 mo 13 days ago
Took 12 min on workermtahpc

#4836 (Dec 11, 2023, 6:02:07 PM)

Changes

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

  1. filter predecessors properly (amending ee405c40db72); (detail / hgweb)
  2. improve graphical clarity by omitting intra-host dependencies (following ee405c40db72); (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 12 min build duration;
  • 14 min total from scheduled to completion.
Revision: 6dc4fd89987f158e140bd56689075d496a409e5d
Revision: 3366535204367baafd304b505cefbc7dd21b38e3