Skip to content
Started 25 days ago
Took 4 hr 56 min on workermtahpc
Failed

#5289 (May 29, 2024, 6:18:29 PM)

Changes

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

  1. merged (detail / hgweb)
  2. pretty-printing sledgehammer command: merge indexed theorems (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 27 sec waiting;
  • 4 hr 56 min build duration;
  • 4 hr 59 min total from scheduled to completion.
Revision: 0604d3051eee82271a16ca7ada8983f19afef3df
Revision: 877b91d3364b35a2086929aa3a41b5ff4a494804
Failed entries: