Skip to content
Started 1 yr 3 mo ago
Took 4 hr 5 min on workermtahpc
Success

#4126 (Dec 7, 2022, 2:42:18 PM)

Changes

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

  1. stated goals of some lemmas explicitely to prevent silent changes (detail / hgweb)
  2. rewrite proofs using to_pred attribute on existing lemmas (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 15 sec waiting;
  • 4 hr 5 min build duration;
  • 4 hr 8 min total from scheduled to completion.
Revision: 1c083e32aed6380b24dd5dbe8a48ce9fcdaac73d
Revision: c211edfd5b6e814ef087f6588a543eba39c5a139