CakeML Regression Test

Job 1138

CakeML:b096fa9472e97556071f419fe1dda42b76aacabd
  Fix inferProg for unsafe accesses [Jan 08 00:06:12]
#715 (unsafe-accesses)
Merging into:ac6b4b66b20a5445fb7f066eb50ea6d3186df1a7
  Update COPYING for years 2019 and 2020 [Jan 08 00:02:23]
HOL:585f56f9a1aef5bf2f0c80a745448ad8fea0413a
  Make num_map and num_set printing type abbreviations for sptrees [Jan 07 06:18:50]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 08 00:26:04 Claimed job
Jan 08 00:26:12 Building HOL
Jan 08 00:37:30 Starting developers
Jan 08 00:37:32 FAILED: developers
readme_gen                                      real:    0s  user:    0s     OK
Starting work on README.md
README.md                                       real:    1s  user:    0sFAIL<1>
 Checking: /home/cake/oven/regression/cakeml-1138/compiler/bootstrap/compilation/ag32/32/proofs
 Checking: /home/cake/oven/regression/cakeml-1138/compiler/bootstrap/compilation/x64/32
 Checking: /home/cake/oven/regression/cakeml-1138/compiler/bootstrap/compilation/x64/32/proofs
 Checking: /home/cake/oven/regression/cakeml-1138/compiler/bootstrap/compilation/x64/64
 Checking: /home/cake/oven/regression/cakeml-1138/compiler/bootstrap/compilation/x64/64/proofs
 Checking: /home/cake/oven/regression/cakeml-1138/compiler/bootstrap/translation
 ERROR! readme_gen.sml failed due to:
 inferProgScript.sml: line 310 is longer than 200
 These errors were in: /home/cake/oven/regression/cakeml-1138/compiler/bootstrap/translation