Job 2273

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:4103c90e68aea21ac033b5e9205a8521e7a51b71
  FTBFS HolBdd and temporal_deep examples [Jan 17 23:33:26]
Machine:pavlova

Jan 18 06:44:22 Claimed job
Jan 18 06:44:28 Building HOL
Jan 18 06:59:13 Starting developers
Jan 18 06:59:15 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /scratch/cakeml/regression/cakeml-2273/candle/syntax-lib
 Checking: /scratch/cakeml/regression/cakeml-2273/characteristic
 Checking: /scratch/cakeml/regression/cakeml-2273/characteristic/examples
 Checking: /scratch/cakeml/regression/cakeml-2273/compiler
 Checking: /scratch/cakeml/regression/cakeml-2273/compiler/backend
 ERROR! readme_gen.sml failed due to:
 San: unable to open file: /scratch/cakeml/regression/cakeml-2273/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-2273/compiler/backend