Started 5 days 1 hr ago
Took 9 hr 12 min on workerlrz5

Failed Build #1680 (May 10, 2021 1:33:14 AM)

Build Artifacts
Expand all Collapse all
Changes

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

  1. more elementary swap (detail)

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

  1. more elementary swap (detail)

Started by an SCM change

This run spent:

  • 6 sec waiting;
  • 9 hr 12 min build duration;
  • 9 hr 12 min total from scheduled to completion.
Revision: 1bd3463e30b8361b92ddd9811080f05737f49a72
Revision: f8ded3c69c5d7572d6397401ab0b7adceebf66a1