Skip to content
Started 2 yr 11 mo ago
Took 23 min on workermta1
Success

#2811 (Apr 29, 2021, 6:17:06 PM)

Build Artifacts
Changes

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

  1. tiny bits of tidying up / simplification of proofs, aided by new lemmas (detail)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 23 min build duration;
  • 25 min total from scheduled to completion.
Revision: 58b17dca57ef40e9defb292c7820a4743029cac5
Revision: 72edb20655d61c3a5b3b00caa892fe6ba94442bf