Job 2287

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:a4236281c59f286ad55576ae74e6b1debbea91cc
  HolSmt: convert test cases to use reals instead of nums [Jan 28 23:21:32]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Jan 29 10:21:09 Claimed job
Jan 29 10:21:16 Building HOL
Jan 29 10:35:08 Starting developers
Jan 29 10:35:11 FAILED: developers
readme_gen                                                                                                                                                                                                                        (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                                                         (0s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2287/examples/sat_encodings/translation/compilation
 Checking: /home/cug/hk324/cml-regression/cakeml-2287/examples/sat_encodings/case_studies
 Checking: /home/cug/hk324/cml-regression/cakeml-2287/examples/sat_encodings/demo
 Checking: /home/cug/hk324/cml-regression/cakeml-2287/compiler
 Checking: /home/cug/hk324/cml-regression/cakeml-2287/compiler/backend
 ERROR! readme_gen.sml failed due to:
 San: unable to open file: /home/cug/hk324/cml-regression/cakeml-2287/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-2287/compiler/backend