Skip to content
Started 1 mo 8 days ago
Took 17 min on workermtahpc
Success

#5210 (Apr 15, 2024, 11:29:04 PM)

Changes

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

  1. merged (detail / hgweb)
  2. Streamlining of many more archaic proofs (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 17 min build duration;
  • 19 min total from scheduled to completion.
Revision: 693d4e6cc5b8d09852474a1251418360a7b51ccb
Revision: 7f16aa37c534da877b0659713e23a27a9f44eba1