Skip to content
Started 1 yr 4 mo ago
Took 9 min 44 sec on workermtahpc
Success

#4110 (Nov 28, 2022, 12:42:19 PM)

Changes

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

  1. A new Isabelle/CTT example, and eliminated some old-style quotation marks (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 16 sec waiting;
  • 9 min 44 sec build duration;
  • 13 min total from scheduled to completion.
Revision: 8c94ca4dd035953eea71755ef59ab446b034bca1
Revision: d25ce7f63fa2bad6347d0c22ab92cb48c6786306