Skip to content
Started 1 yr 0 mo ago
Took 9 min 33 sec on workermtahpc

#4282 (Feb 5, 2023, 8:24:25 PM)

Changes

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

  1. more diagnostic operations (see also 5c7652e9bc01); (detail / hgweb)
  2. more thorough consolidation: follow dependencies of forked proofs (e.g. see theories MaxPrefix vs. MaxChop in AFP/Functional-Automata); (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 21 sec waiting;
  • 9 min 33 sec build duration;
  • 12 min total from scheduled to completion.
Revision: 7d7786585ab0d8dbd7ce56d8b5361c2d5e3a4401
Revision: 444d95abecee11d435a235258b65dcd7507661fd