Job 2972

CakeML:50eabfef4d1902d90142ad6eb4956af7c297605e
  [Dafny] Fix (?) README.md issues [Sep 15 12:15:37]
#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 12:26:02 Claimed job
Sep 15 12:26:05 Reusing HOL
Sep 15 12:26:12 Starting developers
Sep 15 12:26:13 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-2972/developers/.hol/logs/lint
readme_gen                                                          (0s)MKILLED