Job 3057

CakeML:9b01f391f5602f32d5a1abe72908d2e6625f2e14
  Temporarily comment out unverified from build-sequence [Nov 23 09:45:29]
#1270 (new-prims)
Merging into:3194e00b69ce817cf477515ac309fe832eee2817
  remove missed cheats in Word8/64Prog [Nov 21 10:22:46]
HOL:a32193172d5be16ab7ea6f0d938f778e8ffc8249
  Variance of normal random variables [Nov 13 21:40:28]
Machine:lammmington

Nov 23 10:08:42 Claimed job
Nov 23 10:08:45 Reusing HOL
Nov 23 10:08:52 Starting developers
Nov 23 10:08:53 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:
 unverified/sexpr-bootstrap/x64/32
 unverified/sexpr-bootstrap/x64/64
 Please place them in either one or the other.
 Full log: /scratch/cakeml/regression3/cakeml-3057/developers/.hol/logs/lint
readme_gen                                                          (0s)MKILLED