Skip to content
Started 1 hr 11 min ago
Took 1 min 12 sec on workermta1
Success

#833 (Mar 28, 2024, 5:23:03 PM)

Changes

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

  1. tuned; (detail)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 1 min 12 sec build duration;
  • 3 min 14 sec total from scheduled to completion.
Revision: 68f6b29ae06692ff5b5287583cefb35e21d65851
Revision: c53dd7826fa1ae0b0afdaee5d22cb90dc5ec7a0d
Repository: https://github.com/isabelle-prover/isabelle-tools-collection.git
  • refs/remotes/origin/master