Job 3018

CakeML:d8cc91adefc9e2e73b1fb2b644d32c02a886ed39
  Expand on usage in profiler_test [Oct 24 14:54:57]
#1253 (proof-profiler)
Merging into:1efe1f5724a9de855c47da9a50157c3e00a86930
  Merge pull request #1252 from CakeML/faster-textioproof [Oct 24 02:59:03]
HOL:72e78b28c57844b4327a340dd91c754d063feab8
  Move AVL_tree README into the new AVL_tree directory [Oct 13 23:41:41]
Machine:timtam

Oct 24 20:01:42 Claimed job
Oct 24 20:01:46 Reusing HOL
Oct 24 20:01:53 Starting developers
Oct 24 20:01:54 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:
 profiler
 Please place them in either one or the other.
 Full log: /scratch/cakeml/regression2/cakeml-3018/developers/.hol/logs/lint
readme_gen                                                          (0s)MKILLED