Job 3298

CakeML:fa6547659f447e83b7fee1d22d021fdd220de0e8
  Add readme/README files to new dir [Apr 11 00:44:25]
#1349 (talsewell:array-heap-sort-cleanup)
Merging into:0aaed9101bd3fec8b24a83e92f9a3db63115a7df
  Merge pull request #1357 from CakeML/noparse [Mar 31 13:20:37]
HOL:63f2eb9c146352dfd0bab8c5604a096d1e554d03
  minor fixes to examples and updated internal docs [Mar 17 21:01:43]
Machine:pavlova

Apr 14 08:47:33 Claimed job
Apr 14 08:47:39 Reusing HOL
Apr 14 08:47:50 Starting developers
Apr 14 08:47:55 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (0s)     OK
Starting work on lint
lint                                                                (0s)     OK
readme_gen                                                          (1s)     OK
Starting work on README.md
README.md                                                           (3s)FAIL<1>
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/lpr_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/lpr_checker/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/opentheory
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/opentheory/compilation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/opentheory/compilation/ag32
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/opentheory/compilation/ag32/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/opentheory/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/pseudo_bool
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/pseudo_bool/array
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/pseudo_bool/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/pseudo_bool/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/pseudo_bool/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/pseudo_bool/cnf_encoding
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/pseudo_bool/graph_encoding
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/sat_encodings
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/sat_encodings/case_studies
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/sat_encodings/demo
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/sat_encodings/translation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/sat_encodings/translation/compilation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/scpog_checker
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/scpog_checker/array
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/scpog_checker/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/scpog_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/template
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/template/compilation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/template/translation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/vipr
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/vipr/compilation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/xlrup_checker
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/xlrup_checker/array
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/xlrup_checker/array/compilation
 Checking: /scratch/cakeml/regression/cakeml-3298/examples/xlrup_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/misc
 Checking: /scratch/cakeml/regression/cakeml-3298/pancake
 Checking: /scratch/cakeml/regression/cakeml-3298/pancake/parser
 Checking: /scratch/cakeml/regression/cakeml-3298/pancake/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/pancake/semantics
 Checking: /scratch/cakeml/regression/cakeml-3298/pancake/static_checker
 Checking: /scratch/cakeml/regression/cakeml-3298/profiler
 Checking: /scratch/cakeml/regression/cakeml-3298/semantics
 Checking: /scratch/cakeml/regression/cakeml-3298/semantics/alt_semantics
 Checking: /scratch/cakeml/regression/cakeml-3298/semantics/alt_semantics/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/semantics/ffi
 Checking: /scratch/cakeml/regression/cakeml-3298/semantics/proofs
 Checking: /scratch/cakeml/regression/cakeml-3298/translator
 Checking: /scratch/cakeml/regression/cakeml-3298/translator/monadic
 Checking: /scratch/cakeml/regression/cakeml-3298/translator/monadic/examples
 File not allowed to exist: /scratch/cakeml/regression/cakeml-3298/translator/monadic/examples/in_array_sorts/readmePrefix
 Such files are only allowed in directories with a Holmakefile.
 Fix: rename the file to README.md
 Full log: /scratch/cakeml/regression/cakeml-3298/developers/.hol/logs/README.md