Job 3568

CakeML:3d354d0ac5f563f2a3183ad22b13c7b44c3c86a0
  Merge pull request #1514 from CakeML/NEWS-date [Oct 01 17:09:31]
HOL:652d1f0aad5cd537ed1e5d470ba3444e70ba470e
  Merge remote-tracking branch 'origin/master' into develop [Sep 27 02:14:15]
Machine:timtam

Oct 01 17:17:37 Claimed job
Oct 01 17:17:44 Building HOL
Oct 01 17:17:45 FAILED: building HOL