Overview

Job 971

CakeML:798011963317aad27bc99bfa6878d7763149bb58
  Remove a TODO comment
#671 (fp_basis)
Merging into:112863b9cb5837f7731f07322f6a70494471f50d
  Merge pull request #674 from CakeML/zero-byte
HOL:97dbc36bb2dc0ee2df2198032e6901f15f9dba85
  Start port of material about f.o. compactness from HOL Light
Machine:brain09 4.14.127.1.amd64-smp

 Claimed job
 Building HOL
 Starting developers
 FAILED: developers
readme_gen                                                                                                                                                                                                       OK
Starting work on README.md
README.md                                                                                                                                                                                               FAILED! <1>
 Checking: /local/hbecker/regression/cakeml-971/semantics
 Checking: /local/hbecker/regression/cakeml-971/semantics/proofs
 Checking: /local/hbecker/regression/cakeml-971/semantics/ffi
 Checking: /local/hbecker/regression/cakeml-971/semantics/alt_semantics
 Checking: /local/hbecker/regression/cakeml-971/semantics/alt_semantics/proofs
 Checking: /local/hbecker/regression/cakeml-971/basis
 ERROR! readme_gen.sml failed due to:
 DoubleFFIScript.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /local/hbecker/regression/cakeml-971/basis