Job 2426

CakeML:94077bdfd8659cc7f94a3b144594084acacd70f4
  Minor indentation fix [Jun 28 04:07:21]
#1005 (pancake_entry_points)
Merging into:a14567ec355683fa0b4865d412e74610e3e1f1ae
  Merge pull request #1004 from DoomishGuy/pan_lower_ops [Jun 26 10:21:07]
HOL:493fc3fcd7d8390b7d85861775b6e56fd6b17d9f
  Remove some unicode [Jun 18 04:19:36]
Machine:lammmington

Jun 28 05:01:38 Claimed job
Jun 28 05:01:42 Reusing HOL
Jun 28 05:01:53 Starting developers
Jun 28 05:01:55 FAILED: developers
readme_gen                                                          (2s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /scratch/cakeml/regression2/cakeml-2426/candle/standard/semantics
 Checking: /scratch/cakeml/regression2/cakeml-2426/candle/standard/syntax
 Checking: /scratch/cakeml/regression2/cakeml-2426/candle/syntax-lib
 Checking: /scratch/cakeml/regression2/cakeml-2426/characteristic
 Checking: /scratch/cakeml/regression2/cakeml-2426/characteristic/examples
 Checking: /scratch/cakeml/regression2/cakeml-2426/compiler
 ERROR! readme_gen.sml failed due to:
 compilerScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /scratch/cakeml/regression2/cakeml-2426/compiler