Job 2064

CakeML:b5b4694c6d3c55179a7136c699b1256aa9961057
  Next try fixing readme_gen [Dec 08 13:43:58]
#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 13:57:10 Claimed job
Dec 08 13:57:12 Reusing HOL
Dec 08 13:57:51 Starting developers
Dec 08 13:57:55 FAILED: developers
readme_gen                                                                                                                                                                      (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                       (2s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2064/floatingPoint/icing/examples
 Checking: /home/cug/hk324/cml-regression/cakeml-2064/floatingPoint/icing/examples/output
 Checking: /home/cug/hk324/cml-regression/cakeml-2064/floatingPoint/tools/flover
 Checking: /home/cug/hk324/cml-regression/cakeml-2064/floatingPoint/tools/flover/Infra
 Checking: /home/cug/hk324/cml-regression/cakeml-2064/floatingPoint/tools/flover/semantics
 Checking: /home/cug/hk324/cml-regression/cakeml-2064/floatingPoint/tools/dandelion
 ERROR! readme_gen.sml failed due to:
 sollya-8.0: unable to open file: /home/cug/hk324/cml-regression/cakeml-2064/floatingPoint/tools/dandelion/sollya-8.0/README.md
 These errors were in: /home/cug/hk324/cml-regression/cakeml-2064/floatingPoint/tools/dandelion