Job 2601

CakeML:d904b99343799e89cd57f5ed42feeb03defea90d
  Add Dafny compiler to regression suite [Sep 13 09:04:03]
#1053 (dafny)
Merging into:7b614da7b56c9d04e55ecc20f0c22bdd8d7866e7
  Fix a broken proof [Sep 11 11:01:55]
HOL:7bf55e0eb37d0d68268a5b6c2d55dc2895fd6361
  Fix bug in reduceLib.NOT_CONV [Sep 09 04:53:02]
Machine:pavlova

Sep 13 13:35:46 Claimed job
Sep 13 13:35:56 Building HOL
Sep 13 13:50:45 Starting developers
Sep 13 13:50:48 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (2s)FAIL<1>
 Checking: /scratch/cakeml/regression/cakeml-2601/compiler/parsing/tests
 Checking: /scratch/cakeml/regression/cakeml-2601/compiler/printing
 Checking: /scratch/cakeml/regression/cakeml-2601/compiler/printing/test
 Checking: /scratch/cakeml/regression/cakeml-2601/compiler/proofs
 Checking: /scratch/cakeml/regression/cakeml-2601/compiler/repl
 Checking: /scratch/cakeml/regression/cakeml-2601/compiler/dafny
 Checking: /scratch/cakeml/regression/cakeml-2601/compiler/dafny/compilation
 Checking: /scratch/cakeml/regression/cakeml-2601/compiler/dafny/semantics
 Missing file: /scratch/cakeml/regression/cakeml-2601/compiler/dafny/tests/basic/README.md
 Write the file! It is not automatically generated due to lack of a Holmakefile.