Job 2971

CakeML:d06149ece544b878ed4fe84f810d92c7b725998a
  Update some README.md files [Sep 15 11:29:27]
#1238 (dafny-vcg-heap)
Merging into:b35d23274750a163a4c4f65a5048e86f1b3d8aed
  Merge pull request #1234 from CakeML/more_sml_compatibility [Sep 13 08:09:02]
HOL:dcf84a0556f94db0ad53525e5ad0aacb09549819
  Remove a stray mention of "Kananaskis" from top-level README.md [Aug 27 00:08:41]
Machine:pavlova

Sep 15 11:45:43 Claimed job
Sep 15 11:45:47 Reusing HOL
Sep 15 11:45:54 Starting developers
Sep 15 11:45:55 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (0s)     OK
Starting work on lint
lint                                                                (0s)FAIL<1>
 The following paths in build-sequence do not contain a Holmakefile:
 compiler/dafny/examples
 Full log: /scratch/cakeml/regression/cakeml-2971/developers/.hol/logs/lint
readme_gen                                                          (0s)MKILLED