Job 1159

CakeML:985eacc34f4615faf2e36f9de2e3d704f9f81e64
  Merge remote-tracking branch 'origin/master' into flat-to-clos [Jan 24 14:33:13]
#720 (flat-to-clos)
Merging into:db9813e7feb15d807aeb2638d1159ae6c950f04f
  Update an out-of-date README comment [Jan 24 14:32:36]
HOL:b219f4bb4132ea21f42769a8edf7e3abde4cc48d
  emacs-mode: some indentation tweaks [Jan 22 06:44:58]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jan 24 14:33:52 Claimed job
Jan 24 14:33:55 Reusing HOL
Jan 24 14:34:06 FAILED: building HOL