Job 3439

CakeML:5f9dd326886830d920d649b4fb2d5972ca736fc4
  fix decodeProg [Aug 10 11:45:04]
#1445 (bvi-inline)
Merging into:2a49ebcb2da1d79e8d54bf130c203425d93e03e6
  changes since release [Aug 10 14:34:24]
HOL:fac52534ceb43806d35b11f91dafd558266bcbb6
  Remove yet one more same_const instance in Compute.sml [Aug 02 03:13:23]
Machine:pavlova

Aug 10 14:42:28 Claimed job
Aug 10 14:42:33 Reusing HOL
Aug 10 14:43:27 Starting developers
Aug 10 14:43:31 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                             (1s)             OK
Starting work on lint
lint                                                        (0s)             OK
readme_gen                                                  (1s)             OK
Starting work on README.md
README.md                                                   (2s)        FAIL<1>
*** Holmake aborted - 1 target failed:
*** README.md (status 1)
 Checking: /scratch/cakeml/regression/cakeml-3439/candle/set-theory
 Checking: /scratch/cakeml/regression/cakeml-3439/candle/standard
 Checking: /scratch/cakeml/regression/cakeml-3439/candle/standard/ml_kernel
 Checking: /scratch/cakeml/regression/cakeml-3439/candle/standard/monadic
 Checking: /scratch/cakeml/regression/cakeml-3439/candle/standard/semantics
 Checking: /scratch/cakeml/regression/cakeml-3439/candle/standard/syntax
 Checking: /scratch/cakeml/regression/cakeml-3439/candle/standard/syntax/little_theories
 Checking: /scratch/cakeml/regression/cakeml-3439/candle/syntax-lib
 Checking: /scratch/cakeml/regression/cakeml-3439/characteristic
 Checking: /scratch/cakeml/regression/cakeml-3439/characteristic/examples
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/San
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/ag32
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/ag32/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/arm7
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/arm7/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/arm8
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/arm8/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/arm8_asl
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/cv_compute
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/gc
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/mips
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/mips/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/pattern_matching
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/reg_alloc
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/reg_alloc/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/riscv
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/riscv/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/semantics
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/serialiser
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/x64
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/backend/x64/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/benchmarks
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/benchmarks/cakeml_benchmarks/cakeml
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/benchmarks/mlton_benchmarks/cakeml
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/compilation/ag32/32
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/compilation/ag32/32/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/compilation/arm8/64
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/compilation/arm8/64/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/compilation/x64/32
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/compilation/x64/32/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/compilation/x64/64
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/compilation/x64/64/proofs
 Checking: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/translation
 ERROR! readme_gen.sml failed due to:
 decodeProgScript.sml: tab characters (#"\t") are not allowed
 These errors were in: /scratch/cakeml/regression/cakeml-3439/compiler/bootstrap/translation
 
 Full log: /scratch/cakeml/regression/cakeml-3439/developers/.hol/logs/README.md