CakeML Regression Test

Job 1995

CakeML:fe60f122ca62e59b367bbc603b71d88c0b93e191
  Add a sample source file hello.cml to compiler gz [Sep 19 07:58:34]
#910 (minor-tweaks)
Merging into:75cff8fd5379e18eb1aab9437e3f447c7d4f44e7
  Get bootstrapped compiler to also build when __EVAL__ is off [Sep 19 06:25:21]
HOL:893dead4b6f59a9be7fc251533d0a5ee77e12e56
  Add some simple test for bitArithLib and document in next-release.md [Sep 15 04:32:27]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Sep 19 08:14:50 Claimed job
Sep 19 08:14:52 Reusing HOL
Sep 19 08:15:03 Starting developers
Sep 19 08:15:06 FAILED: developers
readme_gen                                                                                                                                                               (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                (2s)FAIL<1>
 Checking: /home/myreen/regression/cakeml-1995/compiler/backend/ag32/proofs
 Checking: /home/myreen/regression/cakeml-1995/compiler/parsing
 Checking: /home/myreen/regression/cakeml-1995/compiler/parsing/proofs
 Checking: /home/myreen/regression/cakeml-1995/compiler/parsing/ocaml
 Checking: /home/myreen/regression/cakeml-1995/compiler/parsing/tests
 Checking: /home/myreen/regression/cakeml-1995/compiler/bootstrap/compilation/x64/32
 ERROR! readme_gen.sml failed due to:
 hello.cml: file must start with (*
 These errors were in: /home/myreen/regression/cakeml-1995/compiler/bootstrap/compilation/x64/32