Skip to content
Started 4 yr 6 mo ago
Took 8 min 36 sec on workermta1
Success

#1381 (Sep 18, 2019, 5:42:58 PM)

Build Artifacts
Changes

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

  1. fixed a bunch of failing proofs (detail)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 8 min 36 sec build duration;
  • 10 min total from scheduled to completion.
Revision: 4e39d87c9737f0dc9e094f7f4d52a5abc7f80a68
Revision: 35d7fb94ba43cf8fa0126477df776980b8362608