Job 1558

CakeML:14d1ade7e9e38783dddcb1731990c8cca3fb4d4c
  Remove extra-files from semantics [Jul 19 15:32:35]
#831 (pancake)
Merging into:76ed0b05089a77059dee72d197fc56c3dae661e8
  Merge pull request #829 from CakeML/help [Jun 18 08:39:57]
HOL:da1da5d92ca33777c3fd5f1e31dad3b5e954534c
  Removed wrongly added TABs (unicode violations) in the previous commit [Jul 27 03:02:16]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Jul 29 04:57:20 Claimed job
Jul 29 04:57:24 Building HOL
Jul 29 05:12:25 Starting developers
Jul 29 05:12:28 FAILED: developers
readme_gen                                                                                                                                                  real:    0s  user:    0s     OK
Starting work on README.md
README.md                                                                                                                                                   real:    2s  user:    2sFAIL<1>
 Checking: /home/cug/hk324/cml-regression/cakeml-1558/candle/standard
 Checking: /home/cug/hk324/cml-regression/cakeml-1558/candle/standard/syntax
 Checking: /home/cug/hk324/cml-regression/cakeml-1558/candle/standard/monadic
 Checking: /home/cug/hk324/cml-regression/cakeml-1558/candle/standard/ml_kernel
 Checking: /home/cug/hk324/cml-regression/cakeml-1558/candle/standard/semantics
 Checking: /home/cug/hk324/cml-regression/cakeml-1558/pancake
 ERROR! readme_gen.sml failed due to:
 ta_progs: unable to open file: /home/cug/hk324/cml-regression/cakeml-1558/pancake/ta_progs/README.md
 These errors were in: /home/cug/hk324/cml-regression/cakeml-1558/pancake