Job 1909

CakeML:758a25d6f33c3bcd9d1463815a31833b1544181d
  Implementation of Deflate with verified binary [Jun 03 16:49:16]
#888 (deflate)
Merging into:7c4f5d1ea435d9c438fa5c6f782526b8154e7f1e
  Merge pull request #865 from CakeML/Iced_cake [May 24 14:01:13]
HOL:6a1ba20cc9ca0bffba3c7aa005b4699fa8fd2da2
  Congruence rule for composition of functions. Prompted by example fro [May 25 19:48:20]
Machine:oven3

Jun 04 19:49:32 Claimed job
Jun 04 19:49:45 Reusing HOL
Jun 04 19:50:43 Starting developers
Jun 04 19:50:46 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (0s)FAIL<1>
 Checking: /root/regression/cakeml-1909/examples/bot/cost
 Checking: /root/regression/cakeml-1909/examples/bot/compile
 Checking: /root/regression/cakeml-1909/examples/bot/compile/x64
 Checking: /root/regression/cakeml-1909/examples/deflate
 Checking: /root/regression/cakeml-1909/examples/deflate/translation
 Checking: /root/regression/cakeml-1909/examples/deflate/translation/compilation
 ERROR! readme_gen.sml failed due to:
 tests: unable to open file: /root/regression/cakeml-1909/examples/deflate/translation/compilation/tests/README.md
 These errors were in: /root/regression/cakeml-1909/examples/deflate/translation/compilation