Job 2050

CakeML:246cf17524a5bb976f1b8d5e2f627321879f7002
  Break build early to test new regression worker infrastructure [Nov 30 07:56:48]
#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 07:59:06 Claimed job
Nov 30 07:59:12 Building HOL
Nov 30 08:16:32 Starting developers
Nov 30 08:16:33 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (0s)FAIL<1>
 Checking: /home/hbecker/Git_Repos/regression/cakeml-2050
 ERROR! readme_gen.sml failed due to:
 basis: unable to open file: /home/hbecker/Git_Repos/regression/cakeml-2050/basis/readmePrefix
 These errors were in: /home/hbecker/Git_Repos/regression/cakeml-2050