Job 2934

CakeML:908d78771f7e38aed39ed2233797e3845fb4b4b4
  Add shape checking to NEWS.md [Aug 21 08:49:46]
#1221 (halogentlepersuasion:pan_shape_check)
Merging into:aeec19f9d2f45194c5e140adae9a0f1964cb99dc
  Merge pull request #1219 from CakeML/fixgitignores [Aug 21 10:29:31]
HOL:466a40abe43a384327cf9fd1ada840fa176b961d
  Change bossLib.oneline to preserve input hypotheses as hypotheses [Aug 02 07:09:04]
Machine:lammmington

Aug 21 14:07:29 Claimed job
Aug 21 14:07:32 Reusing HOL
Aug 21 14:07:40 Starting developers
Aug 21 14:07:44 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/regression3/cakeml-2934/examples/compilation/ag32/proofs
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/compilation/x64
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/compilation/x64/proofs
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/deflate
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/deflate/translation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/deflate/translation/compilation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/lpr_checker
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/lpr_checker/array
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/lpr_checker/array/compilation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/lpr_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/lpr_checker/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/opentheory
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/opentheory/compilation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/opentheory/compilation/ag32
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/opentheory/compilation/ag32/proofs
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/opentheory/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/pseudo_bool
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/pseudo_bool/array
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/pseudo_bool/array/compilation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/pseudo_bool/array/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/pseudo_bool/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/pseudo_bool/cnf_encoding
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/pseudo_bool/graph_encoding
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/sat_encodings
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/sat_encodings/case_studies
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/sat_encodings/demo
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/sat_encodings/translation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/sat_encodings/translation/compilation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/scpog_checker
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/scpog_checker/array
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/scpog_checker/array/compilation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/scpog_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/vipr
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/vipr/compilation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/xlrup_checker
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/xlrup_checker/array
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/xlrup_checker/array/compilation
 Checking: /scratch/cakeml/regression3/cakeml-2934/examples/xlrup_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-2934/icing
 Checking: /scratch/cakeml/regression3/cakeml-2934/icing/examples
 Checking: /scratch/cakeml/regression3/cakeml-2934/icing/examples/output
 Checking: /scratch/cakeml/regression3/cakeml-2934/icing/flover
 Checking: /scratch/cakeml/regression3/cakeml-2934/icing/flover/Infra
 Checking: /scratch/cakeml/regression3/cakeml-2934/icing/flover/semantics
 Checking: /scratch/cakeml/regression3/cakeml-2934/misc
 Checking: /scratch/cakeml/regression3/cakeml-2934/pancake
 ERROR! readme_gen.sml failed due to:
 panStaticScript.sml: tab characters (#"\t") are not allowed
 These errors were in: /scratch/cakeml/regression3/cakeml-2934/pancake
 
 Full log: /scratch/cakeml/regression3/cakeml-2934/developers/.hol/logs/README.md