Job 2096

CakeML:487b5c5d2f5de4dcf6b7d88e87d049f84aa83a65
  pancake: cleanup, remove whitespace, etc. [Feb 22 02:16:52]
#927 (translation_update)
Merging into:d7c29417e7a6c5bd1a3c00154a5159dbce3d6e2a
  Merge pull request #928 from CakeML/packing [Feb 10 07:12:04]
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax [Feb 03 10:08:02]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Feb 22 08:42:02 Claimed job
Feb 22 08:42:05 Reusing HOL
Feb 22 08:42:45 Starting developers
Feb 22 08:42:50 FAILED: developers
readme_gen                                                                                                                                                                      (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                       (2s)FAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-2096/candle/standard/ml_kernel/lisp
 Checking: /home/cug/hk324/cml-regression/cakeml-2096/candle/standard/semantics
 Checking: /home/cug/hk324/cml-regression/cakeml-2096/pancake
 Checking: /home/cug/hk324/cml-regression/cakeml-2096/pancake/examples
 Checking: /home/cug/hk324/cml-regression/cakeml-2096/pancake/ta_progs
 Checking: /home/cug/hk324/cml-regression/cakeml-2096/pancake/proofs
 ERROR! readme_gen.sml failed due to:
 pan_to_crepProofScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /home/cug/hk324/cml-regression/cakeml-2096/pancake/proofs