Job 1857

CakeML:ff9949584991ceb1ad5942145cc652f4fe6c8c01
  Fix itree_backendProof and some minor errors in Icing output directory [Apr 11 08:47:30]
#865 (Iced_cake)
Merging into:746be7b61665e6297b7ce29f70b74eec6efc7a79
  Merge pull request #873 from CakeML/issue871 [Apr 08 11:13:44]
HOL:bf3e59ba99decc59cfe5a28a6d45dfea3e058afc
  Add a timeout on regression build attempts [Apr 07 04:13:36]
Machine:oven3

Apr 11 08:50:09 Claimed job
Apr 11 08:50:11 Reusing HOL
Apr 11 08:51:03 Starting developers
Apr 11 08:51:06 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (1s)FAIL<1>
 Checking: /root/regression/cakeml-1857/examples/lpr_checker
 Checking: /root/regression/cakeml-1857/examples/lpr_checker/array
 Checking: /root/regression/cakeml-1857/examples/lpr_checker/array/compilation
 Checking: /root/regression/cakeml-1857/examples/lpr_checker/array/compilation/proofs
 Checking: /root/regression/cakeml-1857/examples/eval
 Checking: /root/regression/cakeml-1857/icing
 Checking: /root/regression/cakeml-1857/icing/examples
 File not allowed to exist: /root/regression/cakeml-1857/icing/examples/output/readmePrefix
 Such files are only allowed in directories with a Holmakefile.
 Fix: rename the file to README.md