Job 1617

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:f4896684a972fcd114e6710e022950aedefd0366
  Minor typo tweak in documentation for exec_script [Oct 29 10:02:16]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Nov 02 11:14:13 Claimed job
Nov 02 11:14:22 Building HOL
Nov 02 11:15:10 FAILED: building HOL