Skip to content
Started 1 day 2 hr ago
Took 4 hr 38 min on workermtahpc
Failed

#5142 (Mar 28, 2024, 2:39:44 PM)

Changes

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

  1. merged (detail / hgweb)
  2. An assortment of new material, mostly due to Manuel (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 41 sec waiting;
  • 4 hr 38 min build duration;
  • 4 hr 41 min total from scheduled to completion.
Revision: 44d8fb3da9d5e675ffdc4a90fa7f8b0e1833efee
Revision: 1699d5f4b11da83f4aea45a5813fd496c0766340
Failed entries: