Job 408

CakeML:30b7ed18fb1ccca985dc4b82308eba164b336897
  Fix proof in inferProg [Aug 07 21:15:15]
#507 (type-error-msg)
Merging into: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:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Aug 08 01:00:41 Claimed job
Aug 08 01:00:48 Reusing HOL
Aug 08 01:00:58 FAILED: building HOL