Job 1974

CakeML:481c11cf82fdae3f4c13efd4e74417cab7b5f94e
  Prove compile_single correctness for no_alloc & no_install [Aug 25 03:21:26]
#907 (word_to_word_Pancake)
Merging into:1afd9c2ae712011d1edddfc51a00c38d36bbb43a
  Merge pull request #906 from CakeML/candle-features [Aug 25 05:11:25]
HOL:2760fe927ddeb4f3149e8ece6018c9d49086ad77
  Tweak custom string-literal p/printing to not insert extra spaces [Aug 16 00:30:34]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Aug 25 05:11:43 Claimed job
Aug 25 05:11:45 Reusing HOL
Aug 25 05:11:59 Starting developers
Aug 25 05:12:01 FAILED: developers
readme_gen                                                                                                                                                                      (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                       (1s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-1974/compiler/backend/ag32
 Checking: /home/cug/hk324/cml-regression/cakeml-1974/compiler/backend/ag32/proofs
 Checking: /home/cug/hk324/cml-regression/cakeml-1974/compiler/backend/gc
 Checking: /home/cug/hk324/cml-regression/cakeml-1974/compiler/backend/arm8
 Checking: /home/cug/hk324/cml-regression/cakeml-1974/compiler/backend/arm8/proofs
 Checking: /home/cug/hk324/cml-regression/cakeml-1974/compiler/backend/proofs
 ERROR! readme_gen.sml failed due to:
 word_to_wordProofScript.sml: line 1527 is longer than 200
 These errors were in: /home/cug/hk324/cml-regression/cakeml-1974/compiler/backend/proofs