Job 1161

CakeML:985eacc34f4615faf2e36f9de2e3d704f9f81e64
  Merge remote-tracking branch 'origin/master' into flat-to-clos [Jan 24 14:33:13]
#720 (flat-to-clos)
Merging into:2bc5f8aaf7e599dcde33db44c133908eb3660376
  Hello world! --> Hello, World! [Jan 24 14:41:26]
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:41:47 Claimed job
Jan 24 14:41:49 Reusing HOL
Jan 24 14:41:53 FAILED: building HOL