Job 3342

CakeML:fed0ce6bd83dd21a5b63bd13519e01caaa1ce27e
  fix itree equivalences [May 19 10:16:47]
#1393 (talsewell:pan_shape_merge3)
Merging into:f4a85a3695abec3f50c7d2ba50dcd32aab9ce186
  Merge pull request #1391 from CakeML/loop-multiret [May 17 05:22:18]
HOL:60700bdf7cbbfca4f59cf0a84c07c2ce018801cc
  Check for mlton in the PATH when building postkernel/prooftrace [May 01 05:14:25]
Machine:pavlova

May 19 10:32:05 Claimed job
May 19 10:32:09 Reusing HOL
May 19 10:32:25 Starting developers
May 19 10:32:30 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                                                           (4s)FAIL<1>
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/deflate/translation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/deflate/translation/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/flover
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/flover/Infra
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/flover/semantics
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/lpr_checker
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/lpr_checker/array
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/lpr_checker/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/lpr_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/lpr_checker/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/opentheory
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/opentheory/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/opentheory/compilation/ag32
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/opentheory/compilation/ag32/proofs
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/opentheory/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/pseudo_bool
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/pseudo_bool/array
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/pseudo_bool/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/pseudo_bool/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/pseudo_bool/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/pseudo_bool/cnf_encoding
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/pseudo_bool/graph_encoding
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/sat_encodings
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/sat_encodings/case_studies
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/sat_encodings/demo
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/sat_encodings/translation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/sat_encodings/translation/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/scpog_checker
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/scpog_checker/array
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/scpog_checker/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/scpog_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/template
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/template/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/template/translation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/vipr
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/vipr/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/xlrup_checker
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/xlrup_checker/array
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/xlrup_checker/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-3342/examples/xlrup_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3342/misc
 Checking: /scratch/cakeml/regression/cakeml-3342/pancake
 Checking: /scratch/cakeml/regression/cakeml-3342/pancake/parser
 Checking: /scratch/cakeml/regression/cakeml-3342/pancake/proofs
 Checking: /scratch/cakeml/regression/cakeml-3342/pancake/semantics
 Checking: /scratch/cakeml/regression/cakeml-3342/pancake/static_checker
 ERROR! readme_gen.sml failed due to:
 panStaticExamplesScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /scratch/cakeml/regression/cakeml-3342/pancake/static_checker
 
 Full log: /scratch/cakeml/regression/cakeml-3342/developers/.hol/logs/README.md