Overview

Job 2286

CakeML:0ce3e3c880cc96130dfd2ffae2fa24e2e84b6344
  Merge branch 'master' of github.com:CakeML/cakeml into share_mem_new
#977 (share_mem_new2)
Merging into:fd17c01174739bee9472a5d1d405d354612493ef
  Merge pull request #978 from CakeML/pb_output
HOL:5e7dda50a6b3292288093723775329cebbb3a0fb
  Define injection from rationals into reals
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

 Claimed job
 Building HOL
 Starting developers
 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