Skip to content
Started 10 mo ago
Took 1 hr 53 min on workermtahpc
Success

#4481 (May 29, 2023, 11:24:18 AM)

Changes

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

  1. removed intro, desc, elim, and simp annotations from FSet lemmas that are instances of lemmas in Set (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 15 sec waiting;
  • 1 hr 53 min build duration;
  • 1 hr 56 min total from scheduled to completion.
Revision: e72884b2da040f91d0ad3fec3b79bec8fe03b808
Revision: fccdd28b5d846b6d4859489cb4ecdefb47212171