Job 2281

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:5d98d08ec227c302f528a44167c8abdeea6c2192
  [emacs-mode] Put DB "super match" into HOL/Misc menu [Jan 23 23:39:05]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Jan 25 00:52:38 Claimed job
Jan 25 00:52:44 Building HOL
Jan 25 01:06:43 Starting developers
Jan 25 01:06:45 FAILED: developers
readme_gen                                                                                                                                                                                                                        (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                                                         (0s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2281/examples/sat_encodings/translation/compilation
 Checking: /home/cug/hk324/cml-regression/cakeml-2281/examples/sat_encodings/case_studies
 Checking: /home/cug/hk324/cml-regression/cakeml-2281/examples/sat_encodings/demo
 Checking: /home/cug/hk324/cml-regression/cakeml-2281/compiler
 Checking: /home/cug/hk324/cml-regression/cakeml-2281/compiler/backend
 ERROR! readme_gen.sml failed due to:
 San: unable to open file: /home/cug/hk324/cml-regression/cakeml-2281/compiler/backend/San/readmePrefix
 lab_to_targetScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /home/cug/hk324/cml-regression/cakeml-2281/compiler/backend