Job 2776

CakeML:eae8be6a870022737a7c87e66a75cdfdf6d12106
  Clean up static_checker folder for PR [Mar 03 16:12:16]
#1138 (halogentlepersuasion:pan_static)
Merging into:e0e8a40f04c4ebbce02bc7e9b654ca2c547f79ce
  Merge pull request #1129 from CakeML/remove_Misc_bool_case_eq [Feb 07 15:04:17]
HOL:65933ef783406de318821e34715c171c761cf3dc
  [probability] indep_functions_of_four_vars [Feb 21 09:48:55]
Machine:lammmington

Mar 04 07:56:34 Claimed job
Mar 04 07:56:40 Reusing HOL
Mar 04 07:56:51 Starting developers
Mar 04 07:56:52 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:
 pancake/static_checker
 Please place them in either one or the other.
readme_gen                                                          (0s)MKILLED