Skip to content
Started 3 yr 6 mo ago
Took 14 min on workermta1
Failed

#2240 (Sep 19, 2020, 1:17:04 PM)

Build Artifacts
Changes

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

  1. Fixed problems with Isabelle development version (Isabelle_16-Sep-2020). (detail)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 14 min build duration;
  • 16 min total from scheduled to completion.
Revision: 88880eecd7fe302f9dce36237a9f97f0ee2c6116
Revision: b4e122867094be0b34127c12f487004cdc1bc521
Failed entries: