CakeML Regression Test

Job 1432

CakeML:004c3879846b4085dd858675b3d1081888c19821
  More LT_SUC adjustments [Jan 12 11:31:31]
#811 (eval)
Merging into:3c6495906dc020e093e2f5cf101cea1cba2fc468
  Fix breakage caused by change to sorted_map in HOL [Jan 05 15:57:59]
HOL:89e07c5a43c0637bc614b4396e6a8b3cb902cedb
  Get the Interaction-emacs manual built properly as part of release [Jan 06 05:48:29]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jan 12 11:44:29 Claimed job
Jan 12 11:44:32 Reusing HOL
Jan 12 11:44:38 Starting developers
Jan 12 11:44:40 FAILED: developers
readme_gen                                                                    real:    0s  user:    0s     OK
Starting work on README.md
README.md                                                                     real:    1s  user:    1sFAIL<1>
 Checking: /home/myreen/regression/cakeml-1432/compiler/backend/mips
 Checking: /home/myreen/regression/cakeml-1432/compiler/backend/mips/proofs
 Checking: /home/myreen/regression/cakeml-1432/compiler/backend/arm8
 Checking: /home/myreen/regression/cakeml-1432/compiler/backend/arm8/proofs
 Checking: /home/myreen/regression/cakeml-1432/compiler/backend/gc
 Checking: /home/myreen/regression/cakeml-1432/compiler/backend/semantics
 ERROR! readme_gen.sml failed due to:
 closPropsScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /home/myreen/regression/cakeml-1432/compiler/backend/semantics