Started 1 hr 8 min ago
Took 10 min on workermta1

Failed Build #1248 (Jul 22, 2019 7:17:05 PM)

Build Artifacts
Changes

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

  1. abstracted from nondeterministic automata (detail / bitbucket)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 10 min build duration;
  • 12 min total from scheduled to completion.
Revision: 2adff54de67eb4adf58652b6d5dad5010d6ca610
Revision: 045ea701a93c7e579a64f2e08e4aee1cc2da5346
Failed entries: