Job 2284

CakeML:0ce3e3c880cc96130dfd2ffae2fa24e2e84b6344
  Merge branch 'master' of github.com:CakeML/cakeml into share_mem_new [Jan 17 03:28:01]
#977 (share_mem_new2)
Merging into:e026a91d58aabda091e58bb8b4b8ca67b192f07c
  Fix mlvector given changes in HOL [Jan 17 02:43:46]
HOL:5e7dda50a6b3292288093723775329cebbb3a0fb
  Define injection from rationals into reals [Jan 25 07:12:24]
Machine:pavlova

Jan 27 19:52:27 Claimed job
Jan 27 19:52:34 Building HOL
Jan 27 20:07:14 Starting developers
Jan 27 20:07:16 FAILED: developers
readme_gen                                                          (1s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /scratch/cakeml/regression/cakeml-2284/candle/syntax-lib
 Checking: /scratch/cakeml/regression/cakeml-2284/characteristic
 Checking: /scratch/cakeml/regression/cakeml-2284/characteristic/examples
 Checking: /scratch/cakeml/regression/cakeml-2284/compiler
 Checking: /scratch/cakeml/regression/cakeml-2284/compiler/backend
 ERROR! readme_gen.sml failed due to:
 San: unable to open file: /scratch/cakeml/regression/cakeml-2284/compiler/backend/San/readmePrefix
 lab_to_targetScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /scratch/cakeml/regression/cakeml-2284/compiler/backend