Job 1997

CakeML:57e4c33190bf5dceb77f15d4c97d5016786d1f9e
  Add mandatory comment [Sep 19 08:17:22]
#910 (minor-tweaks)
Merging into:f28083ae417cb2f077ae954513061230aa8a6eac
  Merge pull request #908 from CakeML/common-sub-exp-elim [Sep 21 05:29:00]
HOL:893dead4b6f59a9be7fc251533d0a5ee77e12e56
  Add some simple test for bitArithLib and document in next-release.md [Sep 15 04:32:27]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Sep 21 14:00:59 Claimed job
Sep 21 14:01:00 Reusing HOL
Sep 21 14:01:14 Starting developers
Sep 21 14:01:17 FAILED: developers
readme_gen                                                                                                                                                                      (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                       (1s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-1997/compiler/benchmarks/mlton_benchmarks/cakeml
 Checking: /home/cug/hk324/cml-regression/cakeml-1997/compiler/parsing
 Checking: /home/cug/hk324/cml-regression/cakeml-1997/compiler/parsing/tests
 Checking: /home/cug/hk324/cml-regression/cakeml-1997/compiler/parsing/ocaml
 Checking: /home/cug/hk324/cml-regression/cakeml-1997/compiler/parsing/proofs
 Checking: /home/cug/hk324/cml-regression/cakeml-1997/compiler/bootstrap/compilation/x64/64
 ERROR! readme_gen.sml failed due to:
 hello.cml: first line must not contain alpha numberic chars
 These errors were in: /home/cug/hk324/cml-regression/cakeml-1997/compiler/bootstrap/compilation/x64/64