CakeML Regression Test

Job 2123

CakeML:2b3b76b5aa130593fc1bae3f3a2900f2e9ef33a9
  pancake: pan to target semantics correctness proof [May 10 06:19:07]
#951 (pan_compose)
Merging into:856f1d46cc19b4ced4723300b696246381574520
  Merge pull request #948 from CakeML/lex-decimal-chars [May 03 11:46:15]
HOL:a1fef6b1b65a1fc1cc6adf024553ae6f135c1a94
  Add some theorems about abs to integerScript; more modern syntax [May 10 10:45:08]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

May 13 09:43:45 Claimed job
May 13 09:43:49 Building HOL
May 13 09:56:19 Starting developers
May 13 09:56:22 FAILED: developers
readme_gen                                                                                                                                                                      (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                       (1s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2123/compiler/backend/ag32
 Checking: /home/cug/hk324/cml-regression/cakeml-2123/compiler/backend/ag32/proofs
 Checking: /home/cug/hk324/cml-regression/cakeml-2123/compiler/backend/gc
 Checking: /home/cug/hk324/cml-regression/cakeml-2123/compiler/backend/arm8
 Checking: /home/cug/hk324/cml-regression/cakeml-2123/compiler/backend/arm8/proofs
 Checking: /home/cug/hk324/cml-regression/cakeml-2123/compiler/backend/proofs
 ERROR! readme_gen.sml failed due to:
 stack_removeProofScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /home/cug/hk324/cml-regression/cakeml-2123/compiler/backend/proofs