Job 2286

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:fd17c01174739bee9472a5d1d405d354612493ef
  Merge pull request #978 from CakeML/pb_output [Jan 27 20:03:07]
HOL:5e7dda50a6b3292288093723775329cebbb3a0fb
  Define injection from rationals into reals [Jan 25 07:12:24]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Jan 28 19:47:05 Claimed job
Jan 28 19:47:08 Building HOL
Jan 28 20:01:00 Starting developers
Jan 28 20:01:02 FAILED: developers
readme_gen                                                                                                                                                                                                                        (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                                                         (0s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2286/examples/sat_encodings/translation/compilation
 Checking: /home/cug/hk324/cml-regression/cakeml-2286/examples/sat_encodings/case_studies
 Checking: /home/cug/hk324/cml-regression/cakeml-2286/examples/sat_encodings/demo
 Checking: /home/cug/hk324/cml-regression/cakeml-2286/compiler
 Checking: /home/cug/hk324/cml-regression/cakeml-2286/compiler/backend
 ERROR! readme_gen.sml failed due to:
 San: unable to open file: /home/cug/hk324/cml-regression/cakeml-2286/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-2286/compiler/backend