Skip to content
Started 1 yr 9 mo ago
Took 3 hr 28 min on workermtahpc
Success

#3702 (Jun 28, 2022, 10:35:04 AM)

Changes

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

  1. tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS (detail)
  2. strict bounds for BNFs (by Jan van Brügge) (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. merged (detail)
  2. tuned BNF bound (detail)
  3. strict bounds for BNFs (by Jan van Brügge) (detail)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 3 hr 28 min build duration;
  • 3 hr 30 min total from scheduled to completion.
Revision: 0dd3ac5fdbaabeb1ac4300177bec452ce654f858
Revision: 969d123ac0b9e68ec14585f4ae244b621212bc8d