Job 2814

CakeML:416f718a5173b206c0bc063ef91083e098775a8e
  32bit load/store updates for static checks [Apr 29 06:13:01]
#1165 (pancake_internal32bit)
Merging into:3d7e93912298b606a2c046ad9ccea824c08e7528
  remove stray comment in #1157 [Apr 27 15:20:00]
HOL:cf4347f8d871d793c021d04fe2bdc677c7149183
  Add UNCURRY_CONST [Apr 21 09:14:13]
Machine:pavlova

Apr 30 12:49:34 Claimed job
Apr 30 12:49:42 Reusing HOL
Apr 30 12:49:52 Starting developers
Apr 30 12:49:56 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (0s)     OK
Starting work on lint
lint                                                                (0s)     OK
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (2s)FAIL<1>
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/compilation/ag32
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/compilation/ag32/proofs
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/compilation/x64
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/compilation/x64/proofs
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/deflate
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/deflate/translation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/deflate/translation/compilation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/lpr_checker
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/lpr_checker/array
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/lpr_checker/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/lpr_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/lpr_checker/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/opentheory
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/opentheory/compilation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/opentheory/compilation/ag32
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/opentheory/compilation/ag32/proofs
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/opentheory/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/pseudo_bool
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/pseudo_bool/array
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/pseudo_bool/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/pseudo_bool/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/pseudo_bool/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/pseudo_bool/cnf_encoding
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/pseudo_bool/graph_encoding
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/sat_encodings
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/sat_encodings/case_studies
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/sat_encodings/demo
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/sat_encodings/translation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/sat_encodings/translation/compilation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/vipr
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/vipr/compilation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/xlrup_checker
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/xlrup_checker/array
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/xlrup_checker/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-2814/examples/xlrup_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-2814/icing
 Checking: /scratch/cakeml/regression/cakeml-2814/icing/examples
 Checking: /scratch/cakeml/regression/cakeml-2814/icing/examples/output
 Checking: /scratch/cakeml/regression/cakeml-2814/icing/flover
 Checking: /scratch/cakeml/regression/cakeml-2814/icing/flover/Infra
 Checking: /scratch/cakeml/regression/cakeml-2814/icing/flover/semantics
 Checking: /scratch/cakeml/regression/cakeml-2814/misc
 Checking: /scratch/cakeml/regression/cakeml-2814/pancake
 Checking: /scratch/cakeml/regression/cakeml-2814/pancake/parser
 Checking: /scratch/cakeml/regression/cakeml-2814/pancake/proofs
 Checking: /scratch/cakeml/regression/cakeml-2814/pancake/semantics
 ERROR! readme_gen.sml failed due to:
 panSemScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /scratch/cakeml/regression/cakeml-2814/pancake/semantics