Job 3240

CakeML:b6995b3616c1a8d3b85d52999858c827ae619b56
  list sort: use a more sensible variable type [Mar 04 06:31:24]
#1349 (talsewell:array-heap-sort-cleanup)
Merging into:48ce8d3f3d18621a5da67f004dfd21efbc459a6b
  Merge pull request #1344 from CakeML/mcandidate-fix [Mar 02 05:56:38]
HOL:e6d0417424f6e780d9ef01ffce6d7f69f789a706
  Mention change in remove_user_printer's type in release notes [Feb 27 23:41:15]
Machine:timtam

Mar 04 06:51:54 Claimed job
Mar 04 06:51:58 Reusing HOL
Mar 04 06:52:10 Starting developers
Mar 04 06:52:11 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:
 basis/monadic
 Please place them in either one or the other.
 Full log: /scratch/cakeml/regression2/cakeml-3240/developers/.hol/logs/lint
readme_gen                                                          (0s)MKILLED