Skip to content
Started 5 yr 9 mo ago
Took 1 hr 46 min on workermta1
Failed

#1773 (Jun 27, 2018, 3:26:44 AM)

Build Artifacts
No changes.

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

This run spent:

  • 9.2 sec waiting;
  • 1 hr 46 min build duration;
  • 1 hr 46 min total from scheduled to completion.
Revision: 9d78b02b55060e37e4f77e7d0993d59a4d1a6a40
Revision: affa9baa569132d79a0407f2ed2d5eddf5167474