Skip to content
Started 4 yr 6 mo ago
Took 1 hr 39 min on workermta1
Success

#1373 (Sep 16, 2019, 6:08:08 PM)

Build Artifacts
Changes

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

  1. Elimination of a theorem synonym (detail)

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

  1. A little-known material, and some tidying up (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 1 hr 39 min build duration;
  • 1 hr 41 min total from scheduled to completion.
Revision: 125705f5965f12f76c120e4787c0cf834ca8c1c1
Revision: 90d5a4d124ca34fb0a73acc77463aecf5a5c484a