Job 3295

CakeML:5381a665ab473ea9451967c45e17d5c9ac2d367c
  also detach heap_list_sort from ListProg [Mar 30 02:40:45]
#1349 (talsewell:array-heap-sort-cleanup)
Merging into:4e312c0f7e18b9c5789c8ac4e0af257bff895cf5
  Define a C function for customFFI [Mar 25 03:52:57]
HOL:63f2eb9c146352dfd0bab8c5604a096d1e554d03
  minor fixes to examples and updated internal docs [Mar 17 21:01:43]
Machine:lammmington

Mar 30 05:54:52 Claimed job
Mar 30 05:54:56 Reusing HOL
Mar 30 05:55:07 Starting developers
Mar 30 05:55:13 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                                                           (3s)FAIL<1>
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/lpr_checker/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/opentheory
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/opentheory/compilation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/opentheory/compilation/ag32
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/opentheory/compilation/ag32/proofs
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/opentheory/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/pseudo_bool
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/pseudo_bool/array
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/pseudo_bool/array/compilation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/pseudo_bool/array/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/pseudo_bool/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/pseudo_bool/cnf_encoding
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/pseudo_bool/graph_encoding
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/sat_encodings
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/sat_encodings/case_studies
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/sat_encodings/demo
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/sat_encodings/translation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/sat_encodings/translation/compilation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/scpog_checker
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/scpog_checker/array
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/scpog_checker/array/compilation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/scpog_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/template
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/template/compilation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/template/translation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/vipr
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/vipr/compilation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/xlrup_checker
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/xlrup_checker/array
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/xlrup_checker/array/compilation
 Checking: /scratch/cakeml/regression3/cakeml-3295/examples/xlrup_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression3/cakeml-3295/misc
 Checking: /scratch/cakeml/regression3/cakeml-3295/pancake
 Checking: /scratch/cakeml/regression3/cakeml-3295/pancake/parser
 Checking: /scratch/cakeml/regression3/cakeml-3295/pancake/proofs
 Checking: /scratch/cakeml/regression3/cakeml-3295/pancake/semantics
 Checking: /scratch/cakeml/regression3/cakeml-3295/pancake/static_checker
 Checking: /scratch/cakeml/regression3/cakeml-3295/profiler
 Checking: /scratch/cakeml/regression3/cakeml-3295/semantics
 Checking: /scratch/cakeml/regression3/cakeml-3295/semantics/alt_semantics
 Checking: /scratch/cakeml/regression3/cakeml-3295/semantics/alt_semantics/proofs
 Checking: /scratch/cakeml/regression3/cakeml-3295/semantics/ffi
 Checking: /scratch/cakeml/regression3/cakeml-3295/semantics/proofs
 Checking: /scratch/cakeml/regression3/cakeml-3295/translator
 Checking: /scratch/cakeml/regression3/cakeml-3295/translator/monadic
 Checking: /scratch/cakeml/regression3/cakeml-3295/translator/monadic/examples
 ERROR! readme_gen.sml failed due to:
 in_array_sorts: unable to open file: /scratch/cakeml/regression3/cakeml-3295/translator/monadic/examples/in_array_sorts/README.md
 These errors were in: /scratch/cakeml/regression3/cakeml-3295/translator/monadic/examples
 
 Full log: /scratch/cakeml/regression3/cakeml-3295/developers/.hol/logs/README.md