Skip to content
Started 6 yr 2 mo ago
Took 58 min on workermta3
Success

#1419 (Jan 18, 2018, 6:22:12 PM)

Build Artifacts
No changes.

Started by upstream project isabelle-repo build number 1419
originally caused by:

This run spent:

  • 8.5 sec waiting;
  • 58 min build duration;
  • 58 min total from scheduled to completion.
Revision: fe6bcf0137b4b4f326aea7fed55889caaa25e23c