Job 2926

CakeML:e73a00ac4a308584c589c8abc954da8e6368bb84
  Remove now-deleted flover directories from build-sequence [Aug 20 07:32:15]
#1210 (revisedFloats)
Merging into:73ba86109b0d5d28a6f514d796811288728f4cc5
  Merge pull request #1214 from CakeML/theory-syntax [Aug 17 15:25:20]
HOL:466a40abe43a384327cf9fd1ada840fa176b961d
  Change bossLib.oneline to preserve input hypotheses as hypotheses [Aug 02 07:09:04]
Machine:lammmington

Aug 20 10:49:36 Claimed job
Aug 20 10:49:40 Reusing HOL
Aug 20 10:49:47 Starting developers
Aug 20 10:49:48 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (2s)     OK
Starting work on lint
lint                                                                (0s)FAIL<1>
 The following paths in build-sequence do not contain a Holmakefile:
 icing/
 Full log: /scratch/cakeml/regression3/cakeml-2926/developers/.hol/logs/lint
readme_gen                                                          (1s)MKILLED