Job 2055

CakeML:b05cddd95630a9c07a2fad41d1270e2e2f537246
  Remove one more file to trigger testrun [Nov 30 15:25:14]
#919 (test_ci)
Merging into:68d5c7577d631f58bb40f40e1ebfe49873f26a38
  Merge pull request #915 from CakeML/translator-fix [Dec 03 06:09:07]
HOL:cf37a2b2a4f27c3748bb4bb8738c08373abde4c3
  Update PropLogic example to use modern syntax [Nov 30 09:32:01]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Dec 03 07:59:54 Claimed job
Dec 03 07:59:56 Reusing HOL
Dec 03 08:00:36 Starting developers
Dec 03 08:00:37 FAILED: developers
readme_gen                                                                                                  (0s)     OK
Starting work on README.md
README.md                                                                                                   (0s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2055
 Missing file: /home/cug/hk324/cml-regression/cakeml-2055/readmePrefix