Job 1160

CakeML: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:34:07 Claimed job
Jan 24 14:34:09 Reusing HOL
Jan 24 14:34:13 FAILED: building HOL