Skip to content
Started 2 hr 17 min ago
Took 1 hr 6 min on workerls21cluster

Build #427 (Sep 24, 2023, 8:36:05 PM)

Changes

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

  1. clarified signature; (detail)
  2. clarified signature; (detail)
  3. clarified signature; (detail)
  4. minor performance tuning; (detail)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 1 hr 6 min build duration;
  • 1 hr 8 min total from scheduled to completion.
Revision: e10ef4f9c84847ac381ee7fe6775257bbd27b69a
Revision: 068d4f8c4523d5e1078e1619111dae4057345401