Job 1162

CakeML: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:54 Claimed job
Jan 24 14:41:56 Reusing HOL
Jan 24 14:41:59 FAILED: building HOL