Job 2053

CakeML:b05cddd95630a9c07a2fad41d1270e2e2f537246
  Remove one more file to trigger testrun [Nov 30 15:25:14]
#919 (test_ci)
Merging into:3687487b0ceaa28ee5ceff431d51fa5303742e1f
  Merge pull request #918 from CakeML/clos-interpreter [Nov 29 06:06:35]
HOL:d0b3ed8db24b325fc085f0864a933ac47023006b
  emacs-mode: remove TABs [Nov 28 05:15:59]
Machine:LocalTest

Nov 30 15:25:45 Claimed job
Nov 30 15:25:47 Reusing HOL
Nov 30 15:26:03 Starting developers
Nov 30 15:26:03 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (0s)FAIL<1>
 Checking: /home/hbecker/Git_Repos/regression/cakeml-2053
 Missing file: /home/hbecker/Git_Repos/regression/cakeml-2053/readmePrefix