Job 3301

CakeML:f35d3bc7140ec5288f0d4a996c4afbcae4b18e1b
  Also add Holmakefile [Apr 14 10:04:48]
#1349 (talsewell:array-heap-sort-cleanup)
Merging into:9c8edc0ca48b5cd65f93a43b5be3592e62c57546
  Reverse type_vars and type_vars_in_term results in Lib files [Apr 14 11:38:20]
HOL:63f2eb9c146352dfd0bab8c5604a096d1e554d03
  minor fixes to examples and updated internal docs [Mar 17 21:01:43]
Machine:pavlova

Apr 14 12:34:15 Claimed job
Apr 14 12:34:19 Reusing HOL
Apr 14 12:34:30 Starting developers
Apr 14 12:34:31 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-3301/developers/.hol/logs/lint
readme_gen                                                          (0s)MKILLED