Job 2594

CakeML:961f167809e2e5205916eee0dedfa06d48404ad8
  pancake itree semantics, with soundness proof (reorganised, more clea [Sep 04 08:05:53]
#1051 (pancake_itree2)
Merging into:541fc6df534977922a4b2784532cc48a51886146
  Merge pull request #1050 from CakeML/pancake_annot_comments [Aug 31 06:10:48]
HOL:0027639d9586b620303c54f45954b93896dd4587
  [emacs-mode] Fix error in detection of structures caused by previous [Aug 29 06:24:20]
Machine:lammmington

Sep 04 14:47:54 Claimed job
Sep 04 14:47:59 Reusing HOL
Sep 04 14:48:10 Starting developers
Sep 04 14:48:14 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (2s)FAIL<1>
 Checking: /scratch/cakeml/regression2/cakeml-2594/pancake/examples
 Checking: /scratch/cakeml/regression2/cakeml-2594/pancake/parser
 Checking: /scratch/cakeml/regression2/cakeml-2594/pancake/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2594/pancake/proofs/time
 Checking: /scratch/cakeml/regression2/cakeml-2594/pancake/semantics
 ERROR! readme_gen.sml failed due to:
 panItreeSemScript.sml: trailing white-space is not allowed (adjust your editor setting)
 proofs: unable to open file: /scratch/cakeml/regression2/cakeml-2594/pancake/semantics/proofs/readmePrefix
 These errors were in: /scratch/cakeml/regression2/cakeml-2594/pancake/semantics