Skip to content
Started 6 yr 9 mo ago
Took 53 min on workermta3
Success

#991 (Jun 28, 2017, 12:01:16 AM)

Build Artifacts
No changes.

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

This run spent:

  • 8.5 sec waiting;
  • 53 min build duration;
  • 54 min total from scheduled to completion.
Revision: adb9d538f2680f2709e71aeece74297bd56ef711