Overview

Job 1833

CakeML:34bdf6e34b9a01b9a98ad0cf4d6b503f4050a27c
  Merge with latest master, update alt_semantics
#865 (Iced_cake)
Merging into:94ac4b68ba71917ede94f5bb752deb85333acb21
  Fix a build error caused by HOL-Theorem-Prover/HOL@60adf92493ffff
HOL:e423188b196a54551b2b4fddb00dc960d0ee96c4
  Minkowski's inequality and its applications in Probability (#1009)
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Building HOL
 Starting developers
 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /home/cake/oven/regression/cakeml-1833/semantics/proofs
 Checking: /home/cake/oven/regression/cakeml-1833/semantics/alt_semantics
 Checking: /home/cake/oven/regression/cakeml-1833/semantics/alt_semantics/proofs
 Checking: /home/cake/oven/regression/cakeml-1833/basis
 Checking: /home/cake/oven/regression/cakeml-1833/basis/pure
 Checking: /home/cake/oven/regression/cakeml-1833/icing
 ERROR! readme_gen.sml failed due to:
 flover: unable to open file: /home/cake/oven/regression/cakeml-1833/icing/flover/readmePrefix
 These errors were in: /home/cake/oven/regression/cakeml-1833/icing