Job 2005

CakeML:c266120058cec6233cebf771915022164f56625e
  Add readme to tools folder [Oct 05 08:29:07]
#911 (libm_gen)
Merging into:59e14a942bb54a58350e86539c1953c541eff3f4
  Merge pull request #909 from mktnk3/word_to_word_Pancake [Oct 01 15:44:31]
HOL:3944ad679bfa57b3604d40d089e9bfe9e9b74549
  Remove silly whitespace [Sep 26 23:51:38]
Machine:oven3

Oct 05 11:36:35 Claimed job
Oct 05 11:36:37 Reusing HOL
Oct 05 11:37:31 Starting developers
Oct 05 11:37:33 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (0s)FAIL<1>
 Checking: /local/regression_new/cakeml-2005
 ERROR! readme_gen.sml failed due to:
 tools: one or more lines exceed the line length limit of 80 characters
 These errors were in: /local/regression_new/cakeml-2005