Job 3299

CakeML:f35d3bc7140ec5288f0d4a996c4afbcae4b18e1b
  Also add Holmakefile [Apr 14 10:04:48]
#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 10:28:04 Claimed job
Apr 14 10:28:08 Reusing HOL
Apr 14 10:28:19 Starting developers
Apr 14 10:28:20 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (0s)     OK
Starting work on lint
lint                                                                (0s)FAIL<1>
 The following paths are not mentioned in either build-sequence and build-excludes:
 translator/monadic/examples/in_array_sorts
 Please place them in either one or the other.
 Full log: /scratch/cakeml/regression/cakeml-3299/developers/.hol/logs/lint
readme_gen                                                          (1s)MKILLED