Job 2835

CakeML:e5743071fce1c636e5141f569b5d9445433397d9
  fix README [May 18 15:44:18]
#1179 (pmc)
Merging into:6de002aec2cea179d7ccfc484285fe1504919f76
  Merge pull request #1178 from halogentlepersuasion/pan_static_style [May 17 06:44:31]
HOL:37389f39aa1f331637b2525ad92fdba43703a13e
  Progress with defining connected component notion within fsgraph [May 12 07:08:10]
Machine:pavlova

May 20 07:21:54 Claimed job
May 20 07:22:02 Reusing HOL
May 20 07:22:13 Starting developers
May 20 07:22:14 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:
 examples/scpog_checker
 examples/scpog_checker/array
 examples/scpog_checker/array/compilation
 examples/scpog_checker/array/compilation/proofs
 Please place them in either one or the other.
readme_gen                                                          (0s)MKILLED