Skip to content
Started 1 yr 0 mo ago
Took 2 hr 1 min on workermtahpc
Success

#4489 (Jun 2, 2023, 5:45:27 PM)

Changes

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

  1. added lemma ffUnion_fsubset_iff (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 24 sec waiting;
  • 2 hr 1 min build duration;
  • 2 hr 4 min total from scheduled to completion.
Revision: 177dae28697b66d0e15e3f7f7666706347831b1f
Revision: 7ee0aee653f8518e0c0d60337b6b5ed4f704b667