Job 2062

CakeML:a6e95b118edf490a1b043cc0c1fd4c443a59946f
  Add missing README files, forgotten in last commit [Dec 08 11:50:25]
#911 (libm_gen)
Merging into:68d5c7577d631f58bb40f40e1ebfe49873f26a38
  Merge pull request #915 from CakeML/translator-fix [Dec 03 06:09:07]
HOL:afad7a71de91823e350636ff17ada17e208032bf
  Fix Unicode violation in previous [Dec 06 00:49:44]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Dec 08 12:05:11 Claimed job
Dec 08 12:05:13 Reusing HOL
Dec 08 12:05:52 Starting developers
Dec 08 12:05:56 FAILED: developers
readme_gen                                                                                                                                                                      (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                       (2s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2062/floatingPoint/icing
 Checking: /home/cug/hk324/cml-regression/cakeml-2062/floatingPoint/icing/examples
 Checking: /home/cug/hk324/cml-regression/cakeml-2062/floatingPoint/icing/examples/output
 Checking: /home/cug/hk324/cml-regression/cakeml-2062/floatingPoint/tools/flover
 Checking: /home/cug/hk324/cml-regression/cakeml-2062/floatingPoint/tools/flover/Infra
 Checking: /home/cug/hk324/cml-regression/cakeml-2062/floatingPoint/tools/flover/semantics
 Checking: /home/cug/hk324/cml-regression/cakeml-2062/floatingPoint/tools/dandelion
 File not allowed to exist: /home/cug/hk324/cml-regression/cakeml-2062/floatingPoint/tools/dandelion/sollya-8.0/readmePrefix
 Such files are only allowed in directories with a Holmakefile.
 Fix: rename the file to README.md