Job 1604

CakeML:11ce5f9be7a62a7a9d1e8fc232d385c48c16d833
  Hook up decoder to bootstrap translation [Oct 21 06:45:24]
#841 (eval)
Merging into:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform [Oct 03 11:04:50]
HOL:43aa237e8455efb9393a75bcbf2c720d7e5d39dc
  Restore flat sum/pair sizes in TotalDefn.guessR [Oct 23 01:17:26]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Oct 25 14:02:56 Claimed job
Oct 25 14:03:07 Building HOL
Oct 25 14:03:55 FAILED: building HOL