Job 2279

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:526e1ebc9210e0f2e357c010ad48b41cfa1d53fa
  Simplify/prune schneiderUtils.{sig,sml} [Jan 22 06:58:27]
Machine:pavlova

Jan 23 14:20:16 Claimed job
Jan 23 14:20:22 Building HOL
Jan 23 14:35:08 Starting developers
Jan 23 14:35:09 FAILED: developers
readme_gen                                                          (2s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /scratch/cakeml/regression/cakeml-2279/candle/syntax-lib
 Checking: /scratch/cakeml/regression/cakeml-2279/characteristic
 Checking: /scratch/cakeml/regression/cakeml-2279/characteristic/examples
 Checking: /scratch/cakeml/regression/cakeml-2279/compiler
 Checking: /scratch/cakeml/regression/cakeml-2279/compiler/backend
 ERROR! readme_gen.sml failed due to:
 San: unable to open file: /scratch/cakeml/regression/cakeml-2279/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-2279/compiler/backend