Job 588

CakeML:52f73f6a1928c1d76056abeec2c0f1cb4cc76663
  Update a few README.md files [Nov 28 05:35:27]
#566 (readme)
Merging into:59886cd0205c1d5d943ef10a26890f79b515b68f
  Merge pull request #561 from CakeML/print-types [Nov 26 04:25:18]
HOL:f832cc8dcd9ca60b04cedc137119082d5efc13a2
  Document DEFAULT_TARGETS variable in manual and release notes [Nov 28 04:07:46]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 28 07:47:20 Claimed job
Nov 28 07:47:48 Building HOL
Nov 28 07:57:10 Starting developers/bin
Nov 28 07:58:21 FAILED: developers/bin
cake-x64-64.tar.gz                                                           OK
Starting work on cake.S
cake.S                                                                       OK
Starting work on cake.S
cake.S                                                                       OK
Starting work on cake
cake                                                                         OK
Don't know how to build necessary target(s): /home/cake/oven/regression/cakeml-588/developers/readme_gen