Job 626

CakeML:827dcf8ad6bf46e87765deb14c5090fde41fc760
  Merge 'origin/master' into 'cleanup' [Dec 11 14:27:08]
#582 (cleanup)
Merging into:3c96978d87a03a4b4dcf3c85eb41453777b2f86f
  Merge pull request #574 from CakeML/data-cost [Dec 11 11:05:59]
HOL:659cb3c02b29c82ac0c1b79324bafb89c0012042
  Get Temporal_LogicScript down to <= 80 columns [Dec 11 05:54:21]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 12 18:45:02 Claimed job
Dec 12 18:45:24 Building HOL
Dec 12 23:13:16 FAILED: building HOL