Job 1906

CakeML:90d57423b0c73c5d57a717089d642dd36889c68a
  [Pancake] Completed conversion theory from parsetree to AST. [May 25 07:41:48]
#886 (pancake-frontend)
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

May 29 10:53:21 Claimed job
May 29 10:53:36 Building HOL
May 29 11:14:18 Starting developers
May 29 11:14:27 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (6s)FAIL<1>
 Checking: /root/regression/cakeml-1906/candle/standard/syntax
 Checking: /root/regression/cakeml-1906/developers
 Checking: /root/regression/cakeml-1906/developers/bin
 Checking: /root/regression/cakeml-1906/basis
 Checking: /root/regression/cakeml-1906/basis/pure
 Checking: /root/regression/cakeml-1906/pancake
 ERROR! readme_gen.sml failed due to:
 docs: unable to open file: /root/regression/cakeml-1906/pancake/docs/README.md
 These errors were in: /root/regression/cakeml-1906/pancake