Skip to content
Started 2 mo 18 days ago
Took 19 min on workermtahpc

#4822 (Dec 6, 2023, 12:11:08 PM)

Changes

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

  1. tuned T functions: now 0 if not recursive (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 19 min build duration;
  • 21 min total from scheduled to completion.
Revision: e6ae63d1b480a97920ac67bab9bf2a9a1e5eafca
Revision: 3a027d5e86aa3bb48a4347a4f74f8e11037f22e3