Job 2052

CakeML:08c225b4648890b167ef5154bf1b564d3bbd3e3a
  Remove another file to trigger testrun [Nov 30 15:05:49]
#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:06:45 Claimed job
Nov 30 15:06:48 Reusing HOL
Nov 30 15:07:07 Starting developers
Nov 30 15:07:07 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (0s)FAIL<1>
 Checking: /home/hbecker/Git_Repos/regression/cakeml-2052
 Missing file: /home/hbecker/Git_Repos/regression/cakeml-2052/readmePrefix