Job 2924

CakeML:f5c37b81bd96dc611d06c5508fed31364c839eb0
  Fix merge fault from previous commit [Aug 20 05:28:57]
#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:pavlova

Aug 20 06:59:17 Claimed job
Aug 20 06:59:21 Reusing HOL
Aug 20 06:59:29 Starting developers
Aug 20 06:59:30 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (0s)     OK
Starting work on lint
lint                                                                (0s)FAIL<1>
 The following lines in build-sequence are not valid directories:
 icing/flover
 icing/flover/Infra
 icing/flover/semantics
 Full log: /scratch/cakeml/regression/cakeml-2924/developers/.hol/logs/lint
readme_gen                                                          (0s)MKILLED