Job 406

CakeML:1b5f8be3242a8a1d13d1289f21c06650fb5eb463
  Update translator for new length check [Aug 06 19:03:49]
HOL:8a08db2774a674929be0790353c5d303f44984ff
  Report problems with simple definitions better [Aug 07 06:58:43]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Aug 07 14:37:03 Claimed job
Aug 07 14:37:11 Building HOL
Aug 07 14:40:46 FAILED: building HOL